1 pts|1 month ago|discuss
user: blueberry87
84 karma | created 2 years ago
recent submissions
Horrible answers to "What is a type?"
(blueberrywren.dev)
1 pts|3 months ago|discuss
Opinion Piece: On Zig
(blueberrywren.dev)
18 pts|4 months ago|4 comments
Crafting a dependent typechecker, part 1
(blueberrywren.dev)
7 pts|7 months ago|discuss
De Bruijn notation, and why it's useful
(blueberrywren.dev)
141 pts|9 months ago|44 comments
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss