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 pmontra on Wednesday August 07, 2019 @07:22AM (#20633689)
Probably because coding was invented (and most of it still is) on an English keyboard.

I switch the layout of my non English keyboard in all coding windows and my fingers know what to press there.

[ Parent | on HN ]

There are no comments on this comment yet.