changeset 139:66b84be220db

Regenerate slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 03 May 2016 17:44:29 +0900
parents fd3b93df28e8
children fc3efb313753
files slides/20160503/slide.md
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20160503/slide.md	Tue May 03 17:42:48 2016 +0900
+++ b/slides/20160503/slide.md	Tue May 03 17:44:29 2016 +0900
@@ -39,6 +39,6 @@
     * それだと行き先情報が無いので
 
     * ds に next を含める or State Monad 辺りでやってみる
-* Agda を 2.5.1 に上げて State Monad を書いてみてるところ
+* Agda を 2.5.1 に上げて State Monad を書いてみてます
 
 <!-- vim: set filetype=markdown.slide: -->