Post #3103727
2026-06-04 16:26 UTC
Mavis Beacon teaches dependent typing
Replies (1)
-
@joomy@functional.cafe 2026-06-04 16:54
@secretasianman@types.pl from PL Twitter a long time ago
2026-06-04 16:26 UTC
@secretasianman@types.pl from PL Twitter a long time ago