5 ms·What specifically is crazy about Lean's syntax?by nequo 4y agoWhat specifically is crazy about Lean's syntax?