search

rems-project / cn-tutorial

8 stars 8 forks source link

Update tutorial and examples for Owned disjoint #45

Closed dc-mak closed 4 months ago

dc-mak commented 4 months ago

https://github.com/rems-project/cerberus/pull/385 re-introduced deriving disjointness and non-null constraints for pairs of Owned resources in the context, and so some work-arounds in the tutorial can now be eliminated.