git.iko.soy/Idris-dev
on master help sign in
Idris-dev/samples/tutorial/LetBind.idr
16 lines 403 B history raw
1module LetBind
3mirror : List a -> List a
4mirror xs = let xs' = reverse xs in
5 xs ++ xs'
7data Person = MkPerson String Int
9showPerson : Person -> String
10showPerson p = let MkPerson name age = p in
11 name ++ " is " ++ show age ++ " years old"
13splitAt : Char -> String -> (String, String)
14splitAt c x = case break (== c) x of
15 (x, y) => (x, strTail y)