Gabriel Anderson
Results
1
repositories owned by
Gabriel Anderson
type-theory-compiler
42
Stars
0
Forks
Watchers
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
