Implement new session types and update another (!21) · Merge requests · degrowth / scriptorium · GitLab

This is an archived project. Repository and other project resources are read-only.

Jon Richter requested to merge impl-241 into deployment Jul 04, 2018

This MR implements the changes requested in #241 (closed).

It supersedes and contains !19 (merged) and !20 (merged).