Mercurial > hg > Members > atton > generated_seminar_slides

comparison slides/20160503/slide.md @ 111:f9c67fcd744f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 03 May 2016 17:54:05 +0900
parents e88c772d72f3
children
comparison
equal deleted inserted replaced
110:e88c772d72f3 111:f9c67fcd744f
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: -->