malk-core

为依赖类型编程语言实现的简单（且非常不完整）的类型理论。