-
loutr authoredfix(terms and type checker): use deref trait, further temporary changes in type checker, removing previous environment definition; early: won't compile
This project manages its dependencies using Cargo.
Learn more
fix(terms and type checker): use deref trait, further temporary changes in type checker, removing previous environment definition; early: won't compile