idris-0.10.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Prover

Synopsis

Documentation

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

Launch the proof shell