Remove Core/KTreeBasicFacts

broSysX64 · Jan 15, 2020 · a5148f7 · a5148f7
1 parent 5897bb8
commit a5148f7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 297 deletions.
diff --git a/README.md b/README.md
@@ -121,7 +121,7 @@ for testing.
     + `ITreeDefinition`: Interaction trees, type declaration and primitives.
     + `KTree`: Continuation trees `A -> itree E B`, the first Kleisli category
       of `itree`.
-    + `KTreeFacts`, `KTreeBasicFacts`
+    + `KTreeFacts`
     + `Subevent`: Combinators for extensible effects, injecting events into
       sums.
     + `ITreeMonad`: Instantiation of the `Basics.Monad` interface with

diff --git a/theories/Core/KTreeBasicFacts.v b/theories/Core/KTreeBasicFacts.v