Remove deprecated Pandoc metadata

yurrriq · yurrriq · commit 1792869df697 · 2017-07-09T23:03:40.000-05:00
diff --git a/src/Induction.lidr b/src/Induction.lidr
@@ -1,8 +1,3 @@
----
-pandoc-minted:
-  language: idris
----
-
 = Induction: Proof by Induction
 
 First, we import all of our definitions from the previous chapter.
diff --git a/src/Lists.lidr b/src/Lists.lidr
@@ -1,8 +1,3 @@
----
-pandoc-minted:
-  language: idris
----
-
 = Lists: Working with Structured Data
 
 > import Basics
