Skip to content

update to more automatic solution syntax

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

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

Cc @robbertkrebbers

Merge request reports