Kind: A Modern Proof Language
&quot;An accessible syntax that makes it less scary.&quot;<p>Can anyone explain how syntax elements such as { } are a net win? This looks like they&#x27;ve tuned the syntax to not scare anyone off in the first week, at the expense of an economy of expression later.<p>Rob Pike once justified C syntax for its ability to survive pipes that mangled whitespace. That was then, this is now. To this old C programmer, anything that unnecessarily resembles C is ground glass in the eye.