labrys
by kit-ty-kate
OCamlpushed about 3 years ago
A toy language based on LLVM that implements the System Fω type-system
AI summary
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
- stars
- 103
- forks
- 3
- watching
- 11
- awesome list
- 1
Featured in 1 awesome list
Each link jumps to the spot where the list mentions labrys.