Dependently Typed Programming in Idris: A Demo

David Raymond Christiansen

March 26, 2014

David Raymond Christiansen, a Ph.D. student at ITU, gives a talk about the Idris programming language on March 26, 2014, at the Haskell DC meetup in Washington, D.C.