News for hackers. Stuff that matters.
Re:A proof checker meant for education by fc417fc802 on Tuesday March 25, 2025 @04:35AM (#43469127)
I agree but it's interesting to observe that occasionally a work can morph. Racket is a good example. Initially an academic toy, these days it performs quite well and has an expansive ecosystem.

There are no comments on this comment yet.