Idris.Prover
Description
prover :: ElabInfo -> Bool -> Bool -> Name -> Idris () #
Launch the proof shell
showProof :: Bool -> Name -> [String] -> String #
showRunElab :: Bool -> Name -> [String] -> String #