move typepal to usethesource
jurgenvinju opened this issue · 2 comments
jurgenvinju commented
- naming the new project: typepal (all lowercase now)
- linking the github repository: https://github.com/cwi-swat/TypePal
- project owner: @PaulKlint
- Typepal is a generic type check/inference and name resolution framework for Rascal-implemented programming languages. It is used in the bootstrapping of the Rascal compiler itself, so it is a key component in the usethesource infra-structure.
jurgenvinju commented
- @PaulKlint voted "yes" for this
- @jurgenvinju voted "yes" for this
- @tvdstorm voted for "yes" for this
jurgenvinju commented
https://github.com/usethesource/typepal
It's been moved. Web pages will be added and edited later. For now this is enough imo. Jenkins should pick up the move automatically after a project scan.