@@ -464,10 +464,6 @@ sort xs =
464-- Conversions
464-- Conversions
465--------------------------------------------------------------------------------
465--------------------------------------------------------------------------------
467−maybeToList : Maybe a -> List a
468−maybeToList Nothing = []
469−maybeToList (Just j) = [j]
471listToMaybe : List a -> Maybe a
467listToMaybe : List a -> Maybe a
472listToMaybe [] = Nothing
468listToMaybe [] = Nothing
473listToMaybe (x::xs) = Just x
469listToMaybe (x::xs) = Just x