changeset 40:1419489ba107

Update slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 22 Apr 2014 18:10:13 +0900
parents 0b46e48c16b8
children 15aba4b4c11f
files slides/20140422/slide.md
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20140422/slide.md	Tue Apr 22 13:29:35 2014 +0900
+++ b/slides/20140422/slide.md	Tue Apr 22 18:10:13 2014 +0900
@@ -18,6 +18,7 @@
     * BinTree
     * Tree
 * 時期システムの試用機として Dell のマシンが来ました
+* 研究ノート
 
 
 # System F on Agda