Video: dependently typed programming in Idris tech talk(vimeo.com)1 ポイント·投稿者 ciderpunx·12 年前·0 コメントvimeo.comVideo: dependently typed programming in Idris tech talkhttp://vimeo.com/1172210820 コメントコメントを投稿—