SNAPKITTYWEST/super-haskell

Academic-grade verified Haskell compiler with Agda proofs, algebraic effects, and multi-target codegen

语言：Haskell · GitHub 星标：2 · Fork：0

在 GitHub 上查看原仓库