nar (cargo): Narc, a dependently-typed programming language with dependent pattern matching
Keywords: dependent-types|pattern-matching|programming-language|type-theory