remarks-0.1.9: A DSL for marking student work
PropertyInterp
interpProps :: Judgement -> Either Invalid Judgement Source #