diff options
Diffstat (limited to 'src/algebra/alql.spad.pamphlet')
| -rw-r--r-- | src/algebra/alql.spad.pamphlet | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/algebra/alql.spad.pamphlet b/src/algebra/alql.spad.pamphlet index 514f6288..4e568141 100644 --- a/src/algebra/alql.spad.pamphlet +++ b/src/algebra/alql.spad.pamphlet @@ -14,11 +14,7 @@ )abbrev domain DLIST DataList ++ This domain provides some nice functions on lists DataList(S:OrderedSet) : Exports == Implementation where - Exports == ListAggregate(S) with - coerce: List S -> % - ++ coerce(l) creates a datalist from l - coerce: % -> List S - ++ coerce(x) returns the list of elements in x + Exports == Join(ListAggregate(S), HomotopicTo List S) with datalist: List S -> % ++ datalist(l) creates a datalist from l elt: (%,"unique") -> % |