remove outdated book, link to monobook instead

HigherOrderCO · Sep 30, 2024 · 14af40c · 14af40c
1 parent 38b0a7f
commit 14af40c
Show file tree

Hide file tree

Showing 36 changed files with 3 additions and 418 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 # Kind-Core
 
-Kind is a very raw and minimal Type Theory.
+Kind is a minimal Proof Checker.
+
+Example files on [https://github.com/HigherOrderCO/MonoBook](HigherOrderCO/MonoBook).
 
 # Usage
 

diff --git a/book/Bool/Type.kind b/book/Bool/Type.kind
diff --git a/book/Bool/and.kind b/book/Bool/and.kind
diff --git a/book/Bool/if.kind b/book/Bool/if.kind
diff --git a/book/Bool/match.kind b/book/Bool/match.kind
diff --git a/book/Bool/not.kind b/book/Bool/not.kind
diff --git a/book/Bool/or.kind b/book/Bool/or.kind
diff --git a/book/Bool/xor.kind b/book/Bool/xor.kind
diff --git a/book/Equal.kind b/book/Equal.kind
diff --git a/book/Equal/apply.kind b/book/Equal/apply.kind
diff --git a/book/Equal/refl.kind b/book/Equal/refl.kind
diff --git a/book/Equal/rewrite.kind b/book/Equal/rewrite.kind
diff --git a/book/List.kind b/book/List.kind
diff --git a/book/List/con.kind b/book/List/con.kind
diff --git a/book/List/filter.kind b/book/List/filter.kind
diff --git a/book/List/filter/go.kind b/book/List/filter/go.kind
diff --git a/book/List/map.kind b/book/List/map.kind
diff --git a/book/List/nil.kind b/book/List/nil.kind
diff --git a/book/Nat.kind b/book/Nat.kind
diff --git a/book/Nat/add.kind b/book/Nat/add.kind
diff --git a/book/Nat/double.kind b/book/Nat/double.kind
diff --git a/book/Nat/equal.kind b/book/Nat/equal.kind
diff --git a/book/Nat/id.kind b/book/Nat/id.kind
diff --git a/book/Nat/match.kind b/book/Nat/match.kind
diff --git a/book/Nat/mul.kind b/book/Nat/mul.kind
diff --git a/book/Nat/s.kind b/book/Nat/s.kind
diff --git a/book/Nat/z.kind b/book/Nat/z.kind
diff --git a/book/Sigma.kind b/book/Sigma.kind
diff --git a/book/Sigma/fst.kind b/book/Sigma/fst.kind