Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je...
by raverbashing on Wednesday August 07, 2019 @04:42AM
(#20632938)
"this-is-a-valid-identifier" isn't because you don't know if this is an algebraic expression or not. Not sure how this language disambiguates, if it's using spaces or some other symbol.
[ Parent
| on HN ]
There are no comments on this comment yet.