aboutsummaryrefslogtreecommitdiff
path: root/README.org
diff options
context:
space:
mode:
Diffstat (limited to 'README.org')
-rw-r--r--README.org2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.org b/README.org
index ee85650..a81b26d 100644
--- a/README.org
+++ b/README.org
@@ -1,6 +1,6 @@
* TERRAFIRMA
-Terrafirma is a small system for defining data type validators with that produce nice error messages on invalid data.
+Terrafirma is a small system for defining data type validators that produce nice error messages on invalid data.
Terrafirma's main export is the =DEFVALIDATOR= macro. This macro defines a validator function. The body of the validator function evalutes in a special context. Within this context, the symbol =VALIDATE= is a macro that can be used to check predicates and singal a =VALIDATION-ERROR= upon failure: baslically just a wrapper around =ASSERT=.