From e75bc51f983d37ce9014957835615813b9e26e7c Mon Sep 17 00:00:00 2001 From: colin Date: Thu, 30 Nov 2023 08:14:07 -0800 Subject: typo --- README.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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=. -- cgit v1.2.3