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.
[ Parent
| on HN ]
There are no comments on this comment yet.