Skip to content

update to more automatic solution syntax

Ralf Jungrequested to merge
ralf/auto-ex into master

This syncs the solution syntax with tutorial-popl20!2 (merged).

Cc @robbertkrebbers

Merge request reports