Comment on Idris, a language that will change the way you think about programming (2015)parentComments−codemac10yParenthesis are pretty bomb-diggity as well.
Comments
Parenthesis are pretty bomb-diggity as well.