Dependently Typed Programming in Idris: A Demo by David Raymond Christiansenhttp://haskelldc.github.io/idris-drc-3-26-14/ by gmoes • 12 years ago 2 0 12 years agoHAhaskelldc.github.io