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 |
#716 in Programming languages
36 downloads per month
Used in kodept
150KB
4K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~2–12MB
~140K SLoC