idris-hackers
diff --git a/‎docs/pdf/sf-idris-2018.pdf
22.7 KB b/‎docs/pdf/sf-idris-2018.pdf
22.7 KB
diff --git a/‎software_foundations.ipkg
Lines changed: 1 addition & 0 deletions b/‎software_foundations.ipkg
Lines changed: 1 addition & 0 deletions
@@ -11,6 +11,7 @@ modules    = Basics
            , Rel
            , Imp
            , ImpParser
+           , ImpCEvalFun
 
 brief      = "Software Foundations in Idris"
 version    = 0.0.2.0