jam-khan/EnvML

Implementation of EnvML: A Programming Language with First-Class Environments.

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

话题：coq · haskell · hspec · quickcheck · type

在 GitHub 上查看原仓库