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

Apache-2.0

245KB
7K SLoC


Simple compiler with dependent types support in mind

Dependencies

~6–14MB
~158K SLoC