mrathi12

Recent Submissions

1. 1. ▲ Habitcrafting and Tool-Making (thesephist.com) 3 points · 4 years ago · 0 comments
2. 2. ▲ A full website in 1.7 KB (all assets included) (minwiz.com) 2 points · 4 years ago · 0 comments
3. 3. ▲ What's Next? (graydon2.dreamwidth.org) 1 point · 4 years ago · 0 comments
4. 4. ▲ An accessible introduction to type theory and implementing a type-checker (mukulrathi.co.uk) 5 points · 5 years ago · 1 comment
5. 5. ▲ An accessible introduction to type theory and implementing a type-checker (mukulrathi.co.uk) 7 points · 5 years ago · 3 comments