Comment on Idris, a language that will change the way you think about programming (2015)parentComments−pathsjs10yOk, I see how it can work. Thank you very much for your explanation!−lomnakkus10yActually, I see that I was a bit sloppy in that post wrt. the type annotations and editing, but I'm glad it helped :).
Comments
Ok, I see how it can work. Thank you very much for your explanation!
Actually, I see that I was a bit sloppy in that post wrt. the type annotations and editing, but I'm glad it helped :).