usethesource / typepal

TypePal is a framework for name analysis, type checking and type inference

https://www.rascal-mpl.org/docs/Packages/Typepal/TypePal/

Geek Repo

Github PK Tool