Allow missing points
oleks opened this issue · comments
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.