The Power of Types in Idris

By Peter Caisse on March 11th, 2019

Idris is a pure, statically-typed functional language with a powerful type system. Let's explore writing code in Idris using type-driven development and interactive editing.