Video: dependently typed programming in Idris tech talkhttp://vimeo.com/117221082 by ciderpunx • 11 years ago 1 0 11 years agoVIvimeo.com