Lib.rs

› Programming languages
#compiler #petr #programming-language #stage #typecheck

petr-typecheck

by Alex Hansen

1 unstable release

0.1.0 Jul 23, 2024

#1069 in Programming languages


Used in 6 crates (4 directly)

MIT license

135KB
3.5K SLoC

the typecheck stage of the petr compiler

Dependencies

~4–10MB
~111K SLoC