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 30, 2025
@koronkebitch Thank you!
View full thread on types.pl
1
0
0
Loading comments...