5 releases

0.2.3 Jul 13, 2024
0.2.1 May 24, 2024
0.2.0 Apr 11, 2024
0.1.2 Apr 9, 2024
0.1.1 Jan 5, 2024

#945 in Programming languages


Used in 2 crates

Apache-2.0

55KB
1.5K SLoC


Simple compiler with dependent types support in mind

Dependencies

~1.2–1.8MB
~35K SLoC