Mercurial > hg > Members > atton > seminar_slides

comparison slides/20160503/slide.md @ 140:fc3efb313753

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regenerate slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 03 May 2016 17:54:03 +0900
parents 66b84be220db
children 711edad8adc2
comparison
equal deleted inserted replaced
139:66b84be220db 140:fc3efb313753
35 * Agda で CbC を書けるか 35 * Agda で CbC を書けるか
36 * memory allocation 部分とかは meta に押しつけて書く 36 * memory allocation 部分とかは meta に押しつけて書く
37 * 待ちあわせとかも無い 37 * 待ちあわせとかも無い
38 * cs は ds -> ds 38 * cs は ds -> ds
39 * それだと行き先情報が無いので 39 * それだと行き先情報が無いので
40
41 * ds に next を含める or State Monad 辺りでやってみる 40 * ds に next を含める or State Monad 辺りでやってみる
42 * Agda を 2.5.1 に上げて State Monad を書いてみてます 41 * Agda を 2.5.1 に上げて State Monad を書いてみてます
43 42
44 <!-- vim: set filetype=markdown.slide: --> 43 <!-- vim: set filetype=markdown.slide: -->