7 releases

0.2.8 Aug 10, 2024
0.2.7 Jul 13, 2024
0.2.6 May 24, 2024
0.2.5 Apr 9, 2024
0.2.3 Jan 11, 2024

#18 in #mind

22 downloads per month
Used in 5 crates

Apache-2.0

24KB
799 lines


Simple compiler with dependent types support in mind

Dependencies

~0.8–1.3MB
~25K SLoC