2 releases
0.2.2 | Jan 11, 2024 |
---|---|
0.2.0 | Jan 5, 2024 |
#432 in Programming languages
27 downloads per month
Used in 3 crates
135KB
4K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~4MB
~66K SLoC
0.2.2 | Jan 11, 2024 |
---|---|
0.2.0 | Jan 5, 2024 |
#432 in Programming languages
27 downloads per month
Used in 3 crates
135KB
4K
SLoC
Simple compiler with dependent types support in mind
~4MB
~66K SLoC