Dependent Types (Intro to Idris)http://pragprog.com/magazines/2013-04/dependent-types by drewr • 12 years ago 2 0 12 years agoPRpragprog.com