type-theory-compiler icon indicating copy to clipboard operation
type-theory-compiler copied to clipboard

verified publisher icon andgate
→

Metadata

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

Results 0 type-theory-compiler issues
Sort by recently updated
recently updated
newest added

← Metadata

42
Stars
0
Forks
Watchers

Owner

verified publisher icon andgate

Metadata

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

Back