Merge pull request idris-lang#31 from diakopter/patch-1

add talk video link
melted · Jul 18, 2019 · aa446d5 · aa446d5
2 parents b601abe + 7fd70d5
commit aa446d5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -95,3 +95,8 @@ Things still missing
 + Documentation strings and HTML documentation generation
 + ':search' and ':apropos' at the REPL
 + The rest of this "Things still missing" list
+
+Talks
+=====
+
+[![Idris 2 - Type-driven Development of Idris (Curry On - London 2019)](http://img.youtube.com/vi/DRq2NgeFcO0/0.jpg)](http://www.youtube.com/watch?v=DRq2NgeFcO0 "Idris 2 - Type-driven Development of Idris (Curry On - London 2019)")