7 releases
0.3.0 | Aug 10, 2024 |
---|---|
0.2.0 | Jul 13, 2024 |
0.1.7 | May 24, 2024 |
0.1.6 | Apr 9, 2024 |
0.1.4 | Jan 11, 2024 |
#812 in Programming languages
29 downloads per month
Used in kodept
150KB
4K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~2–11MB
~138K SLoC