Merge pull request #36 from idris-hackers/imp

Imp

Author: clayrat

README.md

@@ -19,7 +19,7 @@ Others may work, but here are the versions I'm using.
 | Dependency       |                                Version |
 |------------------|----------------------------------------|
 | [(run)ghc][GHC]  |                                  8.0.2 |
-| [Idris][]        |                                    1.0 |
+| [Idris][]        |                                  1.1.1 |
 | [latexmk][]      |                                  4.52c |
 | [Make][]         |                                  4.2.1 |
 | [minted][]       |                                  2.4.1 |

software_foundations.ipkg

@@ -10,6 +10,7 @@ modules    = Basics
            , Maps
            , ProofObjects
            , Rel
+           , Imp
 
 brief      = "Software Foundations in Idris"
 version    = 0.0.1.0