changeset 140:fc3efb313753

Regenerate slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 03 May 2016 17:54:03 +0900
parents 66b84be220db
children 711edad8adc2
files slides/20160503/slide.md
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 を書いてみてます