idris-0.9.17: test/basic007/test033.idr

module Main

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