TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
An accessible introduction to type theory and implementing a type-checker
7 points
by
mrathi12
over 4 years ago
1 comment
mrathi12
over 4 years ago
Collapse
Hey all, author here, happy to answer any questions you have!
评论 #25315694 未加载