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