Merge pull request #31 from idris-hackers/proofobjects

ProofObjects

Author: yurrriq

software_foundations.ipkg

@@ -7,6 +7,8 @@ modules    = Basics
            , Tactics
            , Logic
            , IndProp
+           , Maps
+           , ProofObjects
 
 brief      = "Software Foundations in Idris"
 version    = 0.0.1.0

src/Makefile

@@ -18,7 +18,9 @@ LIDR_FILES := Preface.lidr \
 	Poly.lidr \
 	Tactics.lidr \
 	Logic.lidr \
-	IndProp.lidr
+	IndProp.lidr \
+	Maps.lidr \
+	ProofObjects.lidr
 # TODO: Add more chapters, in order, here.