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