5 releases
new 0.1.7 | May 24, 2024 |
---|---|
0.1.6 | Apr 9, 2024 |
0.1.5 | Apr 9, 2024 |
0.1.4 | Jan 11, 2024 |
0.1.2 | Jan 5, 2024 |
#331 in Programming languages
309 downloads per month
Used in kodept
92KB
3K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~4MB
~85K SLoC