minitt-util (cargo): CLI Utilities extracted from Mini-TT language's type-checker
Keywords: dependent-types|programming-language|type-theory