News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.