Crafting a dependent typechecker, part 1 #1 Post by blueberry87 » Sun, Jul 20, 2025, 12:17 PM UTC Crafting a dependent typechecker, part 1blueberrywren.dev