blueberry87
- Karma
- 84
- Created
- 2 years ago
Recent Submissions
- 1. ▲ Horrible answers to "What is a type?" (blueberrywren.dev)
- 2. ▲ Opinion Piece: On Zig (blueberrywren.dev)
- 3. ▲ Crafting a dependent typechecker, part 1 (blueberrywren.dev)
- 4. ▲ De Bruijn notation, and why it's useful (blueberrywren.dev)