Post #2840062
2026-05-24 21:29 UTC
Dependently typed programming.
They didn't want it.
I made them fucking eat it.
Replies (1)
-
@Chobbes@types.pl 2026-05-24 23:09
@pigworker@types.pl “there’s children in other countries with runtime errors”