started a subdir for the book

2010-11-22 12:55:37 +00:00
parent 8ab5ec00c6
commit 46137ab6a6
97 changed files with 2026 additions and 0 deletions
--- a/book/examples/chapter9/Logic.gf
+++ b/book/examples/chapter9/Logic.gf
@@ -0,0 +1,9 @@
+abstract Logic = {
+  cat
+    Prop ; Ind ;
+  data
+    And, Or, If : Prop -> Prop -> Prop ;
+    Not         : Prop -> Prop ;
+    All, Exist  : (Ind -> Prop) -> Prop ;
+    Past        : Prop -> Prop ;
+}