damhiya/MetaLambda

damhiya/MetaLambda 是 GitHub 上的开源项目。

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

话题：adjoint-type-theory · contextual-modal-type-theory · haskell · lambda-calculus · metaprogramming · modal-logic · modal-type-theory · multi-stage-programming

在 GitHub 上查看原仓库