on bf4e535 help sign in
Idris-dev/test/ffi005/Postulate.idr
12 lines 160 B history raw
1module Main
3%language TypeProviders
5bad : IO (Provider Type)
6bad = return $ pure Void
8%provide postulate oops with bad
10main : IO ()
11main = putStrLn "oops"