cur 功能强大的元编程功能.zip

cur, 功能强大的元编程功能 具有 static 依赖类型和动态类型。类型注释和括号。定理证明和元编程的语言。Nouncur (plural curs)1. (archaic) A mongrel.2. (archaic) A det