git.iko.soy/Idris-dev
on 080a291 help sign in
Idris-dev/test/basic007/test033.idr
12 lines 228 B history raw
1module Main
3%flag C "-ggdb3 -O0 -Q"
5isn : String -> IO Int
6isn s = mkForeign (FFun "isNull" [FString] FInt ) s
8prn : String -> IO ()
9prn s = mkForeign (FFun "putStr" [FString] FUnit) s
11main : IO ()
12main = isn "\n" >>= print