aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.txt8
1 files changed, 8 insertions, 0 deletions
diff --git a/README.txt b/README.txt
new file mode 100644
index 0000000..e1aeee9
--- /dev/null
+++ b/README.txt
@@ -0,0 +1,8 @@
+This is an equational reasoning tool for an untyped lambda calculus, with some
+additions inspired by Haskell (data constructors and case statements).
+
+The CLI is passed an environment (a list of top-level definitions), and allows
+you to selectively rewrite environment definitions into other environment
+definitions, as well as perform certain simplifications. A history of
+modifications is retained, and a reproducible log of operations can be
+requested.