2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Template for Hindley-Milner based languages
My personal template for exam papers at the University of Warwick