3 releases
| 0.1.2 | Jul 13, 2024 |
|---|---|
| 0.1.1 | May 24, 2024 |
| 0.1.0 | Jan 11, 2024 |
#1143 in Programming languages
Used in kodept
245KB
7K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~6–14MB
~158K SLoC
| 0.1.2 | Jul 13, 2024 |
|---|---|
| 0.1.1 | May 24, 2024 |
| 0.1.0 | Jan 11, 2024 |
#1143 in Programming languages
Used in kodept
245KB
7K
SLoC
Simple compiler with dependent types support in mind
~6–14MB
~158K SLoC