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