Lib.rs

› Programming languages › Kodept
#compiler #dependent #type #programming #programming-language #mind

nightly kodept-ast

by ITesserakt

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