search

DIKU-EDU / remarks

A DSL for marking student work
BSD 3-Clause "New" or "Revised" License
3 stars 2 forks source link

Allow missing points #9

Closed oleks closed 7 years ago

oleks commented 7 years ago

This is a prerequisite for #2.

I suggest we allow this:

# Theory: /50
## Question 1: 5/10
## Question 2: 10/20
## Question 3: 10/20

The validator should allow for points to be missing in all but the bottom-most judgements, and report that points are missing if some bottom-most judgements lack them.

In general, the lack of points can be represented in the AST with 1/0, i.e. Infinity. This is because 1/0 == 1/0 ~> True.

oleks commented 7 years ago

See: