7 releases
0.2.8 | Aug 10, 2024 |
---|---|
0.2.7 | Jul 13, 2024 |
0.2.6 | May 24, 2024 |
0.2.5 | Apr 9, 2024 |
0.2.3 | Jan 11, 2024 |
#18 in #mind
22 downloads per month
Used in 5 crates
24KB
799 lines
Simple compiler with dependent types support in mind
Dependencies
~0.8–1.3MB
~25K SLoC