00:32:57
icon

ICFP

Attach image
00:54:45
icon

Build Systems à la Carte - Haskellによるビルドシステムのモデル化

01:49:01
icon

Functional Programming for Compiling and Decompiling Computer-Aided Design - 3Dモデルのメッシュを宣言的なDSLにデコンパイルして、簡単に編集できるようにする

03:57:58
icon

Reasonably Programmable Literal Notation - 型付きのリテラルをメンテナンス可能な形で定義するためのReasonライブラリ

05:04:22
icon

Program Constructionセッションは事前知識が足りなすぎて全然分からなかった

09:38:40
15:58:57
icon

中野さん

23:06:20
icon

ICFP会場、昨日よりエアコンの設定温度が上がってる雰囲気