Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je...
by bvrmn on Wednesday August 07, 2019 @05:12AM
(#20633058)
All "cleverness" usually comes from struggle with parser generator. It's too many languages in the wild with weird syntax due to lack of interest/skills in proper parser.
[ Parent
| on HN ]
There are no comments on this comment yet.