module Exercise_4 where

import Test.QuickCheck

{-H4.1-}

allSumOfPrevious :: [Integer] -> Bool
allSumOfPrevious = undefined

{-H4.2-}

splitter :: Eq a => [a] -> [a] -> [[a]]
splitter = undefined

{-H4.3-}

{- Die Lösung für diese Datei ist als zusätzliche Datei snoc.cprf abzugeben!
 - (Halten Sie sich an die Schablone auf der Übungsseite.)
 -
 - Der Beweis wird automatisch mit dem Tool "cyp" getestet. Ein Beispiel
 - für einen solchen Beweis finden Sie auf der Übungsseite.
 -}

{-H4.4-}

{-WETT-}

{-
 - Nur für KIT-Studenten:
 - Bitte hier Ihren Namen / Vornamen eintragen, sonst können wir Ihre Lösung
 - nicht werten.
 -}

encodeInts :: [Integer] -> Integer
encodeInts = undefined

decodeInts :: Integer -> [Integer]
decodeInts = undefined

{-TTEW-}