Skip to content

Auto-generate exercise files

Ralf Jung requested to merge ralf/auto-exercises into master

This is the same as tutorial-popl18!4 (merged). I slightly adjusted the syntax to be more like what this repository seems to expect, so the exercise generator now understand that Qed. typically ends a solution. (I will update the other repository if we agree on this syntax.)

Cc @robbertkrebbers

Merge request reports