Documentation
enumerateDepthFirst :: Proofs -> Result -> [(Proofs, Env)]Source
startParse :: (ListLike s b, Show b) => P (Str b s LineColPos) a -> s -> (a, [Error LineColPos])Source
enumerateDepthFirst :: Proofs -> Result -> [(Proofs, Env)]Source
startParse :: (ListLike s b, Show b) => P (Str b s LineColPos) a -> s -> (a, [Error LineColPos])Source