Skip to content

Iris 3.3 port

Arthur Azevedo de Amorim requested to merge arthuraa/tutorial-popl20:iris-3.3-port into master

I've ported the solution files to work with Iris 3.3 and regenerated the corresponding exercise files. I've tried to update the OPAM recipe to use 3.3, but I haven't tested the script to build the dependencies.

Merge request reports