on 239c8ca help sign in
Idris-dev/test/basic007/test033.idr
4 lines 58 B history raw
1module Main
3main : IO ()
4main = nullPtr null >>= printLn