idris

Safe HaskellNone

Core.ProofState

Documentation

data Goal Source

Constructors

GD 

dropGiven :: Eq a => [a] -> [(a, TT a)] -> [a] -> [(a, TT a)]Source

keepGiven :: Eq a => [a] -> [(a, TT a)] -> [a] -> [(a, TT a)]Source