diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2023-03-23 22:57:05 +0100 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2023-03-23 22:57:05 +0100 |
| commit | 16582f2c4094249f15d9ab37c1b49beafe542103 (patch) | |
| tree | 78234458eac815711bca6706e6d069c29d0d7293 /shared/lists.rkt | |
| parent | 29e67993f9ae5bbf94c7237ab0675d711bae704e (diff) | |
fixup
Diffstat (limited to 'shared/lists.rkt')
| -rw-r--r-- | shared/lists.rkt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shared/lists.rkt b/shared/lists.rkt index f8d96d0..8437fcb 100644 --- a/shared/lists.rkt +++ b/shared/lists.rkt @@ -6,6 +6,7 @@ flatmap enumerate-interval enumerate-windows) + (define (append list1 list2) (if (null? list1) list2 |