2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
A simple ML-like programming language with subtyping and full type inference.
The IntercalScript programming language