git.iko.soy/Idris-dev
on fdfd99e help sign in
Idris-dev/samples/tutorial/foo.idr
10 lines 119 B history raw
1module foo
3namespace x
4 test : Int -> Int
5 test x = x * 2
7namespace y
8 test : String -> String
9 test x = x ++ x