on dcdebfc help sign in
Idris-dev/test/basic007/test033.idr
4 lines 68 B history raw
1module Main
3main : IO ()
4main = nullPtr null >>= (putStrLn . show)