Y
Hacker News
new
|
ask
|
show
|
jobs
An accessible introduction to type theory and implementing a type-checker
(
mukulrathi.co.uk
)
5 points
by
mrathi12
2018 days ago
1 comments
mrathi12
2018 days ago
Author here! Feel free to ask questions about the post :)
link