そういえば，以前書いたパッチ http://d.hatena.ne.jp/eagletmt/20110615/1308162572 がちゃんとまともに書き直されて，本家のリポジトリに取り込まれました． http://code.google.com/p/uim/source/detail?r=7278

9月8日から10日まで，諏訪湖の近くで行われた研究室の夏ゼミに参加していた． 各自が情報工学に関する何かについて自由に発表するというもので，俺は型レベルプログラミングについて話した． FunctionalDependencies, FlexibleContexts, FlexibleInstances, …