idris

Safe HaskellNone

Idris.ProofSearch

Documentation

trivial :: (PTerm -> ElabD ()) -> IState -> ElabD ()Source

proofSearch :: (PTerm -> ElabD ()) -> Maybe Name -> Name -> [Name] -> IState -> ElabD ()Source