# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1414484976 -32400
# Node ID 36da64ee66cfdd380a3be242cfc76963546bba4d
# Parent  b35785b554a1b125244dd1d39a0ae9c85fc273bf
Update slide

diff -r b35785b554a1 -r 36da64ee66cf slides/20141028/slide.md
--- a/slides/20141028/slide.md	Tue Oct 28 10:57:45 2014 +0900
+++ b/slides/20141028/slide.md	Tue Oct 28 17:29:36 2014 +0900
@@ -21,10 +21,14 @@
     * そのページだけを消しました
 
 # 中間発表の予稿
-* [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/texts/)にあります
-* hg/Members/atton/texts/
+* [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Users/one/hg/Papers/2014/atton-midterm)にあります
+* hg/Papers/2014/atton-midterm
+* 最初は hg/atton/texts とかに置いてました
+* 完全にプログラム側からの視点だけで書いてます
+* Category は今後の課題風味になっております
 
 # Proof Monad-laws in Agda
 * 関数合成を一旦分解したらいけました
+* 名前を Diff にしました
 
 <!-- vim: set filetype=markdown.slide: -->