git.iko.soy/Idris-dev
on d5c8aec help sign in
Idris-dev/test/test005/test005.idr
15 lines 314 B history raw
1module Main
3tstr : String
4tstr = "abc123"
6tlist : List Int
7tlist = [1, 2, 3, 4, 5]
9main : IO ()
10main = do print (abs (-8))
11 print (abs (S Z))
12 print (span isAlpha tstr)
13 print (break isDigit tstr)
14 print (span (\x => x < 3) tlist)
15 print (break (\x => x > 2) tlist)