idris-0.9.11: test/basic007/test033.idr

module Main

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