Idris 0.99

Idris is a functional programming language that continues to evolve.  We’re always interested in new, up and coming languages and decided to look a little deeper into Idris. Idris – … Continue reading Idris 0.99