Remove unsupported funflow-checkpoints library

This library is no longer supported in funflow2.
tweag · Jul 1, 2021 · 71136c0 · 71136c0
1 parent f21519f
commit 71136c0
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 346 deletions.
diff --git a/funflow-checkpoints/ChangeLog.md b/funflow-checkpoints/ChangeLog.md
diff --git a/funflow-checkpoints/LICENSE b/funflow-checkpoints/LICENSE
diff --git a/funflow-checkpoints/README.rst b/funflow-checkpoints/README.rst
diff --git a/funflow-checkpoints/Setup.hs b/funflow-checkpoints/Setup.hs
diff --git a/funflow-checkpoints/funflow-checkpoints.cabal b/funflow-checkpoints/funflow-checkpoints.cabal
diff --git a/funflow-checkpoints/src/Control/Funflow/Checkpoints.hs b/funflow-checkpoints/src/Control/Funflow/Checkpoints.hs
diff --git a/funflow-checkpoints/test/Tests.hs b/funflow-checkpoints/test/Tests.hs