Crafting a dependent typechecker, part 1

5 points | by blueberry87 12 hours ago