1 unstable release
| 0.1.0 | Jan 11, 2024 |
|---|
#813 in Programming languages
Used in kodept
200KB
5.5K
SLoC
Kodept
Simple compiler with dependent types support in mind
Dependencies
~4.5MB
~86K SLoC
Simple compiler with dependent types support in mind
| 0.1.0 | Jan 11, 2024 |
|---|
#813 in Programming languages
Used in kodept
200KB
5.5K
SLoC
Simple compiler with dependent types support in mind
~4.5MB
~86K SLoC