Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je... by Sharlin on Wednesday August 07, 2019 @06:25AM (#20633403)

You mean, modern English keyboard layouts! Square brackets require alt(gr) on my keyboard. Seriously, most European layouts are ridiculously coding-unfriendly.

[ Parent | on HN ]

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 ]