Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen

haskelldc.github.io