スマートコン @mr_konn
『真猿をのぞくとき、真猿もまたこちらをのぞいているのである.』
-
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20838pv 151 73 users 10 -
vim -y にくるしむみなさん。
22912pv 250 70 users 65 -
第二回圏論勉強会の予習
1877pv 9 3 users
-
ekmett勉強会 #ekmett_conf
11691pv 24 7 users 4 -
【型システム入門】TAPL翻訳の発売に沸き立つTL
16771pv 46 8 users 4 -
【あずにゃん】 FPGA!【ホットプレートでリフロー】
3228pv 25 2 users -
ICFPC 2012 おつかれさまでしたー
5650pv 7 1 user -
conduit 0.3 そして 0.4 へ
2608pv 6 3 users -
末尾再帰最適化/末尾呼び出し最適化 on JVM
14787pv 60 21 users 4 -
ピーFIの公式サイトがリニューアルしたようです
11142pv 64 14 users 3 -
GHCソースコードリーディング勉強会 第0回
2794pv 8 -
深夜の連打祭り ~ lovelang.heroku.com ~
3637pv 20 6 users 1