Lib.rs

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

kodept-macros

by ITesserakt

2 releases

0.1.4 Jan 11, 2024
0.1.2 Jan 5, 2024

#986 in Programming languages


Used in 2 crates

Apache-2.0

150KB
4.5K SLoC

Simple compiler with dependent types support in mind

Dependencies

~4–12MB
~126K SLoC