idris-0.9.10: test/test033/test033.idr

module Main

main : IO ()
main = nullPtr null >>= (putStrLn . show)