Last active
November 13, 2020 11:18
-
-
Save L7R7/dbba84814fdc29e5e2d46196df8289c7 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| instance Append (List a) where | |
| append Empty as = as | |
| append as Empty = as | |
| append (Cons a as) bs = Cons a (append as bs) | |
| instance (Append a) => Append (Maybe a) where | |
| append (Just a1) (Just a2) = Just (append a1 a2) | |
| append ma Nothing = ma | |
| append Nothing ma = ma |
Author
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Oh, for me it's the same! most of them are still too advanced for me, plus the sometimes more complex use of the english language makes it even harder for me😅 but I keep going, slowly but surely!