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
135KB
4K
SLoC
Simple compiler with dependent types support in mind
Dependencies
~4.5MB
~70K SLoC
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
135KB
4K
SLoC
Simple compiler with dependent types support in mind
~4.5MB
~70K SLoC