4 releases

0.4.1 Jul 13, 2024
0.4.0 May 24, 2024
0.2.2 Jan 11, 2024
0.2.0 Jan 5, 2024

#19 in #dependent


Used in 3 crates

Apache-2.0

135KB
4K SLoC


Simple compiler with dependent types support in mind

Dependencies

~4.5MB
~70K SLoC