idris-0.9.19: Functional Programming Language with Dependent Types
Idris.Prover
Synopsis
prover :: Bool -> Bool -> Name -> Idris () Source
Launch the proof shell
showProof :: Bool -> Name -> [String] -> String Source
showRunElab :: Bool -> Name -> [String] -> String Source