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 |
#1590 in Programming languages
492 downloads per month
Used in kodept
150KB
4K
SLoC
Kodept
Simple compiler with dependent types support in mind
Dependencies
~6–16MB
~224K SLoC