Highlights
- Pro
Stars
2
stars
written in OCaml
Clear filter
A toy language based on LLVM that implements the System Fω type-system
Implementing a spatial model inspired by Material Shell, for i3 and sway.