Hacker News new | ask | show | jobs
Crafting a dependent typechecker, part 1 (blueberrywren.dev)
7 points by blueberry87 339 days ago