on bf4e535 help sign in
Idris-dev/test/error002/test031.idr
8 lines 118 B history raw
1module Main
3-- Test enabling the ErrorReflection extension
5%language ErrorReflection
7main : IO ()
8main = return ()