文件名称：cooked-pi:如果我们一遍又一遍地构建相同的令人沮丧的类型检查器怎么办？ 为科学
文件大小：9KB
文件格式：ZIP
更新时间：2024-07-23 13:15:17
Haskell
熟皮 本着假期的精神，我为 λΠ 烘焙了几种不同风格的类型检查器。 如 Simple Easy 中所示！ 有 与 使用 HOAS 我关于 Simple Easy 的！ 双向类型检查器。 我最终会写一些关于其他样式的博客，草稿在。 享受！
【文件预览】：
cooked-pi-master
----.travis.yml(30B)
----cooked-pi.cabal(2KB)
----what-is-lambda-pi.md(1KB)
----test()
--------Easy.hs(899B)
--------Bound.hs(838B)
--------HOAS.hs(806B)
----LICENSE(1KB)
----src()
--------LambdaPi()
----Setup.hs(46B)
----.gitignore(41B)
----README.md(774B)