5 releases
0.2.3 | Jul 13, 2024 |
---|---|
0.2.1 | May 24, 2024 |
0.2.0 | Apr 11, 2024 |
0.1.2 | Apr 9, 2024 |
0.1.1 | Jan 5, 2024 |
#744 in Programming languages
Used in 2 crates
55KB
1.5K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~1.1–1.7MB
~33K SLoC