| user: | blueberry87 |
| created: | May 24, 2023 |
| karma: | 84 |
| 1. | |
| 2. | Horrible answers to "What is a type?"(blueberrywren.dev) |
| 3. | Opinion Piece: On Zig(blueberrywren.dev) |
| 4. | Crafting a dependent typechecker, part 1(blueberrywren.dev) |
| 5. | De Bruijn notation, and why it's useful(blueberrywren.dev) |