This commit is contained in:
pingu 2024-03-01 11:24:37 +01:00
parent 9437f47ff7
commit 983f91f981

View File

@ -58,6 +58,6 @@ append (Singleton x) = cons x
append (Multiple a b c) = cons a . append b . cons c
join :: GoodList (GoodList a) -> GoodList a
join Empty = Empty
join (Singleton x) = x
join Empty = Empty
join (Singleton x) = x
join (Multiple a b c) = append (a `append` join b) c