diff options
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r-- | src/algebra/syntax.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index e0d71282..ca967397 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -372,9 +372,7 @@ import CoercibleTo Syntax ++ Date Last Modified: September 21, 2008 ++ Description: This is the category of Spad abstract syntax trees. AbstractSyntaxCategory(): Category == - Join(SetCategory, CoercibleTo Syntax) with - coerce: Syntax -> % - ++ coerce(s) parses syntax object `s' as a Spad construct. + Join(SetCategory, HomotopicTo Syntax) add coerce(x: %): Syntax == x pretend Syntax |