3 unstable releases
0.2.0 | Apr 11, 2024 |
---|---|
0.1.2 | Apr 9, 2024 |
0.1.1 | Jan 5, 2024 |
#993 in Programming languages
266 downloads per month
Used in 2 crates
36KB
961 lines
Kodept
Simple compiler with dependent types support in mind
Dependencies
~2MB
~46K SLoC