# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1437468365 -32400
# Node ID 972cd08436f2f409be5b2dc67abb1b978346a79d
# Parent  5819dea3ceb5e8384a5c7004fac375730258e7ee
Fix typo

diff -r 5819dea3ceb5 -r 972cd08436f2 slides/20150714/slide.md
--- a/slides/20150714/slide.md	Mon Jul 13 19:17:35 2015 +0900
+++ b/slides/20150714/slide.md	Tue Jul 21 17:46:05 2015 +0900
@@ -7,7 +7,7 @@
 # LOLA + LICS/ICALP に行ってきました
 * LICS/ICALP が本体(月から金の5日間)
     * [Logic in Computer Science](http://lics.rwth-aachen.de/lics15/)
-    * [nternational Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/)
+    * [International Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/)
     * の併設。([スケジュール](http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/icalplics2015-schedule-overview.pdf))
 * LOLA は LICS の workshop
     * [Syntax and Semantics of Low-Level Languages](http://lola15.tcs.ifi.lmu.de/)
@@ -21,7 +21,7 @@
 
 # 気になった発表とか
 * The SML# compiler backend: compiling ML to C-compatible low-level code(LOLA)
-    * SML#, dependent type, C-compatible
+    * SML#, dependent type, C-compatible, LLVM
 * A Cubical Approach to Synthetic Homotopy Theory(LICS)
     * HoTT, topology, Type Theory
 * Game Semantics for Type Soundness(LICS)