Post #1810439
2026-04-30 13:55 UTC
Throughout this whole paper the authors just call it "this language" and "our language". This is why we have names for things guys!
Replies (1)
-
@joe@f.duriansoftware.com 2026-04-30 14:40
@sainati@types.pl going to simply name my next language The