Comment on Idris, a language that will change the way you think about programming (2015)parentComments−a3n10yYes there are advantages to braced blocks. I sometimes miss them, but mostly not.
Comments
Yes there are advantages to braced blocks. I sometimes miss them, but mostly not.