4 releases
| 0.2.5 | Apr 9, 2024 |
|---|---|
| 0.2.4 | Apr 9, 2024 |
| 0.2.3 | Jan 11, 2024 |
| 0.2.2 | Jan 5, 2024 |
#1105 in Programming languages
232 downloads per month
Used in 5 crates
29KB
945 lines
Kodept
Simple compiler with dependent types support in mind
Dependencies
~2.5MB
~49K SLoC