Ideas.Service.BasicServices

Basic Services

stepsremaining

findbuggyrules

allfirsts

solution

onefirst

applicable

allapplications

apply

generate

create

type StepInfo a

tStepInfo

exampleDerivations

recognizeRule