Nanopass编译器框架的Haskell端口Haskell port of the Nanopass Compiler Framework (2023-12-30, Haskell, 0KB, 下载0次)
具有依赖类型的微型类型检查器Tiny type-checker with dependent types (2014-01-08, Haskell, 0KB, 下载0次)