3 releases
new 0.1.5 | May 24, 2024 |
---|---|
0.1.4 | Jan 11, 2024 |
0.1.2 | Jan 5, 2024 |
#1050 in Programming languages
148 downloads per month
Used in 2 crates
130KB
4K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~3–12MB
~108K SLoC