Crafting a dependent typechecker, part 1

7 points| blueberry87 | 7 months ago |blueberrywren.dev