diff options
Diffstat (limited to 'src/algebra/list.spad.pamphlet')
| -rw-r--r-- | src/algebra/list.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet index 2ac22b9f..89d79936 100644 --- a/src/algebra/list.spad.pamphlet +++ b/src/algebra/list.spad.pamphlet @@ -270,7 +270,7 @@ List(S:Type): Exports == Implementation where IndexedList(S, LISTMININDEX) add import %nil: % from Foreign Builtin import %peq: (%,%) -> Boolean from Foreign Builtin - import %makepair: (S,%) -> S from Foreign Builtin + import %makepair: (S,%) -> % from Foreign Builtin nil == %nil null l == %peq(l,%nil) |