James Faure

Results 2 repositories owned by James Faure

Irie-lang

49
Stars
2
Forks
Watchers

Subtyping calculus of inductive constructions

lfvm-stg

50
Stars
1
Forks
Watchers

Map lazy functional language constructs to LLVM IR