Building a modern functional compiler from first principles.
- compiler
- lambda-calculus
- type-inference
- haskell
71,372 visible repositories in the index
1–2 of 2 · Most stars
Building a modern functional compiler from first principles.
Next-gen compile-time-checked builder generator, named function's arguments, and more!