move typepal to usethesource

usethesource / usethesource.github.io

Organization website for UseTheSource

1 stars 2 forks source link

move typepal to usethesource #7

Closed jurgenvinju closed 4 years ago

jurgenvinju commented 4 years ago

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 4 years ago

[x] @PaulKlint voted "yes" for this
[x] @jurgenvinju voted "yes" for this
[x] @tvdstorm voted for "yes" for this

jurgenvinju commented 4 years ago

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.