Brendan Zab
@brendan@types.pl
World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.
types.pl
Brendan Zab
@brendan@types.pl
World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.
types.pl
@brendan@types.pl
·
Jun 29, 2025
@koronkebitch This sounds really cool - excited to see it when it comes out! 🤩
View full thread on types.pl
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...