refreshing

eyereasoner · Sep 21, 2023 · 17e216f · 17e216f
1 parent 51eb0aa
commit 17e216f
Show file tree

Hide file tree

Showing 112 changed files with 202 additions and 2,636 deletions.
diff --git a/logic/README b/logic/README
diff --git a/logic/beetle.n3s b/logic/beetle.n3s
diff --git a/logic/bmt.n3s b/logic/bmt.n3s
diff --git a/logic/complex.n3s b/logic/complex.n3s
diff --git a/logic/edt.n3s b/logic/edt.n3s
diff --git a/logic/fibonacci.n3s b/logic/fibonacci.n3s
diff --git a/logic/graph.n3s b/logic/graph.n3s