3 releases

0.1.2 Jul 13, 2024
0.1.1 May 24, 2024
0.1.0 Jan 11, 2024

#1106 in Programming languages

31 downloads per month
Used in kodept

Apache-2.0

245KB
7K SLoC


Simple compiler with dependent types support in mind

Dependencies

~6–15MB
~162K SLoC