Type Theory Compiler Resources Save
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
No resources for this project.
Add resourceOpen Source Agenda Badge
Submit Resource
Articles, Courses, Videos
