changeset 75:36da64ee66cf

Update slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 28 Oct 2014 17:29:36 +0900
parents b35785b554a1
children ff6851818210
files slides/20141028/slide.md
diffstat 1 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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: -->