Mercurial > hg > Members > atton > generated_seminar_slides

diff slides/20141028/slide.md @ 50:6198657f50f5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 28 Oct 2014 17:29:38 +0900
parents be4bda2c5e58
children
line wrap: on
line diff
--- a/slides/20141028/slide.md	Tue Oct 28 10:57:47 2014 +0900
+++ b/slides/20141028/slide.md	Tue Oct 28 17:29:38 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: -->