Closed jolyonb closed 5 years ago
This simply moves IntegralGrader out of plugins and into the library proper. Very little actually needed to be changed. Note that this PR does not include documentation for IntegralGrader, which will need to be created.
IntegralGrader
This simply moves
IntegralGrader
out of plugins and into the library proper. Very little actually needed to be changed. Note that this PR does not include documentation forIntegralGrader
, which will need to be created.