diff options
| author | colin <colin@cicadas.surf> | 2023-11-30 08:14:07 -0800 |
|---|---|---|
| committer | colin <colin@cicadas.surf> | 2023-11-30 08:14:07 -0800 |
| commit | e75bc51f983d37ce9014957835615813b9e26e7c (patch) | |
| tree | bacc0dd9d78185c374107e0d50d22deb965c31ab | |
| parent | 3cface95937c61b36398742a89ef44c9981c8225 (diff) | |
typo
| -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=. |