diff options
| -rw-r--r-- | README.org | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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=. |