Mercurial > hg > Members > atton > seminar_slides
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: -->