Post #636169
2026-03-13 23:22 UTC
Building an experimental typechecker based on ongoing research is hard work, but at least it beats writing a unifier
Replies (1)
-
@robrix@types.pl 2026-03-14 02:51
@julesh guess what I’m doing both of!