From bad608a202451f8c8f60e3ecc58360759e05723f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 4 Mar 2017 19:52:54 -0700 Subject: [PATCH] fix to README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1d200ff0..b679c852 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ pure Prolog. ## Progress The language L3 is implemented as a simple REPL. L3 is pure Prolog -- -Prolog without cuts, meta- or extra-logical operators, or side effects +Prolog without cut, meta- or extra-logical operators, or side effects of any kind. No data types apart from atoms are currently supported. ## Tutorial -- 2.54.0