3 unstable releases
new 0.2.1 | May 24, 2024 |
---|---|
0.2.0 | Jan 11, 2024 |
0.1.2 | Jan 5, 2024 |
#3 in #dependent
144 downloads per month
1.5MB
8K
SLoC
Contains (DOS exe, 1MB) result/bin/kodept.exe
Kodept
Simple compiler with dependent types support in mind
Dependencies
~8–17MB
~219K SLoC