Video: dependently typed programming in Idris tech talk(vimeo.com)1 points·by ciderpunx·11 anni fa·0 commentsvimeo.comVideo: dependently typed programming in Idris tech talkhttp://vimeo.com/1172210820 commentsPost comment—