# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1422518397 -32400
# Node ID 624a76d07c208e0f5d1b78a005af5a5ec95cd1d6
# Parent  31eb02af947ea86221b0138a185a55f0536b891b
Mini fixes

diff -r 31eb02af947e -r 624a76d07c20 slides/20150129/slide.md
--- a/slides/20150129/slide.md	Thu Jan 29 16:57:35 2015 +0900
+++ b/slides/20150129/slide.md	Thu Jan 29 16:59:57 2015 +0900
@@ -19,6 +19,8 @@
 * 長さ制限付きの無限長 Delta の証明ができました
 * そのおかげで DeltaM の unity-law の1つはできました
     * が、もう片方が無理です
+* できた方     : mu . eta == id
+* できてない方 : mu . (fmap eta) == id
 
 # つまってるところ
 ```