idris-0.9.13: test/basic007/test033.idr

module Main

main : IO ()
main = nullPtr null >>= print