Hacker News new | ask | show | jobs
user: mrathi12
created: 2018-09-20
karma: 95

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Habitcrafting and Tool-Making
3 points | 0 comments
0 points | 0 comments
A full website in 1.7 KB (all assets included)
2 points | 0 comments
What's Next?
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
An accessible introduction to type theory and implementing a type-checker
5 points | 1 comments
0 points | 0 comments
0 points | 0 comments
An accessible introduction to type theory and implementing a type-checker
7 points | 3 comments