Lang.Explanation
data XEvalJ #
Constructors
Defined in Lang.Explanation
Methods
showsPrec :: Int -> XEvalJ -> ShowS #
show :: XEvalJ -> String #
showList :: [XEvalJ] -> ShowS #
(==) :: XEvalJ -> XEvalJ -> Bool #
(/=) :: XEvalJ -> XEvalJ -> Bool #
getParts :: Proof EvalJ -> (Expr, Val) #
findExp :: Proof EvalJ -> [XEvalJ] #
data XTag #
showsPrec :: Int -> XTag -> ShowS #
show :: XTag -> String #
showList :: [XTag] -> ShowS #
tagJudge :: EvalJ -> XTag #
tagJudge' :: Proof EvalJ -> XTag #
tagProof :: Proof EvalJ -> Proof XTag #
rightProofTree :: Proof XTag -> Proof [XEvalJ] #
evaluationExamples :: [XTag] #