News for hackers. Stuff that matters.
Re:Counterexamples in Type Systems by duped on Monday May 24, 2021 @09:57AM (#27264406)
It shouldn't be hard to swallow. Monospaced ascii text that is (usually) unambiguous with extensive documentation is night and day from formal notation.

At least BNF grammars are legible

There are no comments on this comment yet.