2013-07-25から1日間の記事一覧
一問目だけやりました。2問目が出来ない…。 練習問題 練習として以下の様な事をやってみると良いと思います。 ・二分木などの型函手及び融合則の導出 ・map f∘map g=map (f∘g)などの法則の導出。 http://nineties.github.io/category-seminar/10.html#/38 二…
一問目だけやりました。2問目が出来ない…。 練習問題 練習として以下の様な事をやってみると良いと思います。 ・二分木などの型函手及び融合則の導出 ・map f∘map g=map (f∘g)などの法則の導出。 http://nineties.github.io/category-seminar/10.html#/38 二…