Video: dependently typed programming in Idris tech talk(vimeo.com)1 points·by ciderpunx·قبل 12 سنة·0 commentsvimeo.comVideo: dependently typed programming in Idris tech talkhttp://vimeo.com/1172210820 commentsPost comment—