Hello, Idris World! and Why I'm Excited for a Total Programming Language
This article represents my first attempt to get up and running with the Idris programming language....
Tags: functional, idris