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.

Six Ways Azavea Funds Innovation

By Robert Cheetham on December 3rd, 2018

Without outside funding and given our commitment to openly sharing our knowledge, people often ask: How do you fund your innovation? We outline 6 main ways.