首页
标签
morte
如何在 Morte 上表示任意 GADT？
构造微积分中的“Refl”东西？
为什么这个简单的 Morte 程序不能进行类型检查？