Video: dependently typed programming in Idris tech talk(vimeo.com)1 points·by ciderpunx·hace 12 años·0 commentsvimeo.comVideo: dependently typed programming in Idris tech talkhttp://vimeo.com/1172210820 commentsPost comment—