Lib.rs

› Programming languages
#petr #stage #compiler #effect #programmable #programming #typecheck

petr-typecheck

by Alex Hansen

1 unstable release

0.1.0 Jul 23, 2024

#416 in Programming languages

Download history 110/week @ 2024-07-22 12/week @ 2024-07-29 13/week @ 2024-08-12 7/week @ 2024-08-19 33/week @ 2024-08-26

53 downloads per month
Used in 6 crates (4 directly)

MIT license

135KB
3.5K SLoC

the typecheck stage of the petr compiler

Dependencies

~3.5–5MB
~98K SLoC