started a subdir for the book

1 files changed, 11 insertions, 0 deletions

diff --git a/book/examples/chapter8/Logicb.gf b/book/examples/chapter8/Logicb.gf
new file mode 100644
index 000000000..5b5aa9ab9
--- /dev/null
+++ b/book/examples/chapter8/Logicb.gf
@@ -0,0 +1,11 @@
+abstract Logic = {
+cat
+  Prop ; Ind ; Dom ; Var ; [Prop] {2} ; [Var] {1} ;
+fun
+  And, Or : [Prop] -> Prop ;
+  If : Prop -> Prop -> Prop ;
+  Not : Prop -> Prop ;
+  All, Exist : [Var] -> Dom -> Prop -> Prop ;
+  IVar : Var -> Ind ;
+  VString : String -> Var ;
+}