I wrote a #HelloWorld program in #Idris. I'm really excited about #totalProgramming, so my blog is going to be an Idris tutorial blog for the forseeable future.

My goal is to fill the void of tutorials for non- #Haskell programmers. Follow if you're interested!

https://webbureaucrat.gitlab.io/articles/hello-idris-world/