News for hackers. Stuff that matters.

A comment on Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains. Parent comment

Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by JadeNB on Wednesday August 07, 2019 @05:15AM (#20633073)
> The backslash before the keywords is a backslash, pun intended.

What is the pun? Or, I guess I mean, what is the meaning of the second occurrence of 'backslash'?

[ Parent | on HN ]
Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by pmontra on Wednesday August 07, 2019 @07:25AM (#20633696)
https://www.thefreedictionary.com/backlash

Not so immediate, I admit.

[ Parent | on HN ]