diff options
Diffstat (limited to 'src/algebra/alql.spad.pamphlet')
| -rw-r--r-- | src/algebra/alql.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/alql.spad.pamphlet b/src/algebra/alql.spad.pamphlet index a7f895a1..edcae0c5 100644 --- a/src/algebra/alql.spad.pamphlet +++ b/src/algebra/alql.spad.pamphlet @@ -29,8 +29,8 @@ DataList(S:OrderedSet) : Exports == Implementation where elt(x,"unique") == removeDuplicates(x) elt(x,"sort") == sort(x) elt(x,"count") == #x - coerce(x:List S) == x pretend % - coerce(x:%):List S == x pretend (List S) + coerce(x:List S) == per x + coerce(x:%):List S == rep x coerce(x:%): OutputForm == (x :: List S) :: OutputForm datalist(x:List S) == x::% |