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.

New Elected Officials, Visualized

By Luke McKinstry on February 25th, 2019

We gathered elected official data from all across the country after the 2018 U.S. midterm election. We show shifting party structure and contact methods.