Hacker News headlines

4

Crafting a dependent typechecker, part 1 (blueberrywren.dev)

3 weeks ago | blueberry87 | blueberrywren.dev | newest

52

De Bruijn notation, and why it's useful (blueberrywren.dev)

3 months ago | blueberry87 | blueberrywren.dev | best