# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1462265643 -32400
# Node ID fc3efb313753fd142623a0fba105397d3c1615f2
# Parent  66b84be220dbd4bcef1c6741a1ecfec3fd7b278e
Regenerate slide

diff -r 66b84be220db -r fc3efb313753 slides/20160503/slide.md
--- a/slides/20160503/slide.md	Tue May 03 17:44:29 2016 +0900
+++ b/slides/20160503/slide.md	Tue May 03 17:54:03 2016 +0900
@@ -37,7 +37,6 @@
     * 待ちあわせとかも無い
 * cs は ds -> ds
     * それだと行き先情報が無いので
-
     * ds に next を含める or State Monad 辺りでやってみる
 * Agda を 2.5.1 に上げて State Monad を書いてみてます