SSSSLIDE
「idris」タグの付いたスライド
全 2 件
検索対象
内容を含めて検索
タグから検索
投稿日
指定なし
1ヶ月以内
1年以内
3年以内
並び順
新着順
人気順
言語
すべての言語
日本語のスライド
IdrisでWebアプリを書く
4年弱前 by
Hideyuki Tanaka
IdrisでWebアプリを書く @天下一altJS武闘会
Tic Tac Type: Dependent Types with Idris
4年弱前 by
Mark Hibberd
Functional programming provides a fundamental basis for reasoning about our programs and building...