idris-1.3.2: test/ffi013/ffi013.idr
module Main
main : IO ()
main = do b <- fRemove "remove.me"
putStrLn $ if b then "success" else "failure"module Main
main : IO ()
main = do b <- fRemove "remove.me"
putStrLn $ if b then "success" else "failure"