タグ Agda
人気順 5 users 10 users 50 users 500 users 1000 users(1 - 1 / 1件)
関数プログラミング実践入門という本を書きました - ぼくのぬまち 出張版
2014-11-08 関数プログラミング実践入門という本を書きました 是非手に取ってみて下さい.よろしくおねがいします.関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus)作者: 大川徳之出版社/メーカー: 技術評論社発売日: 2014/11/14メディア: 単行本(ソフトカバー)この商品を含むブログ (1件) を見るAgdaとかHaskell ... 続きを読む
(1 - 1 / 1件)