# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1398157813 -32400
# Node ID 1419489ba1072e141431b969abc92f13bb61429d
# Parent  0b46e48c16b8c13e3643383a6230192a76442970
Update slide

diff -r 0b46e48c16b8 -r 1419489ba107 slides/20140422/slide.md
--- 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