andgate/type-theory-compiler

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

语言：Haskell · GitHub 星标：43 · Fork：1

话题：compiler · functional-language · functional-programming · lambda-calculus · languages · type-system

在 GitHub 上查看原仓库