changeset 72:916d62123b1c

Update slide note
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 07 Oct 2014 18:10:29 +0900
parents 243328f8f857
children b58c0ab4f5e4
files slides/20141007/slide.md
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20141007/slide.md	Tue Oct 07 16:26:32 2014 +0900
+++ b/slides/20141007/slide.md	Tue Oct 07 18:10:29 2014 +0900
@@ -12,6 +12,8 @@
 
 # 近況報告
 * Agda で証明始めました
+* 卒研は英語で発表しようと思っています
+* 11月中旬くらいまでに目処を付けたいです
 
 # Similar in Agda
 * Similar の定義だけ