HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

New architecture for the compiler #407

Closed algebraic-dev closed 1 year ago

algebraic-dev commented 2 years ago

The new compiler will be divided into several crates to better modularity and isolation improving the developer experience inside the compiler.