16 lines
232 B
Plaintext
16 lines
232 B
Plaintext
$newline never
|
|
<table>
|
|
<thead>
|
|
<tr>
|
|
<td>
|
|
$forall g <- grades
|
|
<th>
|
|
_{g}
|
|
<tbody>
|
|
<tr>
|
|
<th>
|
|
_{MsgGradingFrom}
|
|
$forall (_, fv) <- bounds
|
|
<td>
|
|
^{fvInput fv}
|