exercism1.0.0
Organise exercises and defer their solutions.
hand-in1.1.0
Clean and minimalist assignment.
trivial0.1.0
Make typesetting theorems and proofs trivial.
