Ideas.Common.ExerciseTests

checkExercise

exerciseTestSuite

data ShowAs a

showAs

checkParserPretty

checkParserPrettyEx

propRule

checkExamples

checksForTerm

checksForDerivation