update build

Alex Gryzlov · Alex Gryzlov · commit 3d0ca4e926b5 · 2017-11-01T15:09:20.000+02:00
diff --git a/software_foundations.ipkg b/software_foundations.ipkg
@@ -11,6 +11,7 @@ modules    = Basics
            , ProofObjects
            , Rel
            , Imp
+           , ImpParser
 
 brief      = "Software Foundations in Idris"
 version    = 0.0.1.0
diff --git a/src/Makefile b/src/Makefile
@@ -22,7 +22,8 @@ LIDR_FILES := Preface.lidr \
 	Maps.lidr \
 	ProofObjects.lidr \
 	Rel.lidr \
-	Imp.lidr
+	Imp.lidr \
+	ImpParser.lidr
   
 # TODO: Add more chapters, in order, here.
 
