a3n on Idris, a language that will change the way you think about programming (2015) · Hackerly

Comment on Idris, a language that will change the way you think about programming (2015)parent

I do like rainbow delimiters. Parens and others show up nicely.