2 unstable releases
| 0.2.0 | Jan 11, 2024 |
|---|---|
| 0.1.2 | Jan 5, 2024 |
#493 in Programming languages
30 downloads per month
300KB
8K
SLoC
Kodept
Simple compiler with dependent types support in mind
Dependencies
~10–20MB
~274K SLoC
Simple compiler with dependent types support in mind
| 0.2.0 | Jan 11, 2024 |
|---|---|
| 0.1.2 | Jan 5, 2024 |
#493 in Programming languages
30 downloads per month
300KB
8K
SLoC
Simple compiler with dependent types support in mind
~10–20MB
~274K SLoC