Comment on Idris, a language that will change the way you think about programming (2015)parentComments−kazinator10yThe language being discussed has parentheses and brackets: Vect n a -> Vect m a -> Vect (n + m) a What's that around n + m, and how eager are you to replace that with multi-line indentation?−a3n10yThat's an expression, not a code block. I would not want to replace that with anything.
Comments
The language being discussed has parentheses and brackets:
What's that around n + m, and how eager are you to replace that with multi-line indentation?That's an expression, not a code block. I would not want to replace that with anything.