「idris」タグの付いたスライド

全 2 件

IdrisでWebアプリを書く
約3年前 by Hideyuki Tanaka
IdrisでWebアプリを書く @天下一altJS武闘会
Tic Tac Type: Dependent Types with Idris
3年以上前 by Mark Hibberd
Functional programming provides a fundamental basis for reasoning about our programs and building...