From: Mark Thom Date: Tue, 27 Feb 2018 02:28:19 +0000 (-0700) Subject: . X-Git-Tag: v0.8.110~547 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=92cd018bc746e98ca149b838ddf9d5142dc5d6c8;p=scryer-prolog.git . --- diff --git a/README.md b/README.md index 738f3e9e..82fa08e0 100644 --- a/README.md +++ b/README.md @@ -29,7 +29,7 @@ Extend rusty-wam to include the following, among other features: * Built-in predicates for list processing and top-level declarative control (`setup_call_control/3`, `call_with_inference_limit/3`, etc.) (_done_). -* Add a rudimentary module system. +* A rudimentary module system. * Attributed variables using the SICStus Prolog interface and semantics. Adding coroutines like `dif/2`, `freeze/2`, etc. is straightforward with attributed variables.