idris-0.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Prover

Synopsis

Documentation

prover :: Bool -> Bool -> Name -> Idris () Source

Launch the proof shell

showProof :: Bool -> Name -> [String] -> String Source

showRunElab :: Bool -> Name -> [String] -> String Source