Logic.Problems
data Problem j #
Constructors
Defined in Logic.Problems
Methods
fmap :: (a -> b) -> Problem a -> Problem b #
(<$) :: a -> Problem b -> Problem a #
showsPrec :: Int -> Problem j -> ShowS #
show :: Problem j -> String #
showList :: [Problem j] -> ShowS #
(==) :: Problem j -> Problem j -> Bool #
(/=) :: Problem j -> Problem j -> Bool #
latex :: Problem j -> String #
problems :: Explain j => Proof j -> Proof (Problem j) #
nicerProblems :: Explain j => Proof j -> Proof (Problem j) #