[Iris-Club] Why a CMRA unit should be discrete?

[Jeehoon Kang]

Dear Iris Club,

In the Iris 2.0 documentation's Definition 11, the 3rd condition says a
unit should be a discrete COFE element (
http://plv.mpi-sws.org/iris/appendix-2.0.pdf).  But I cannot see the
intuition behind this requirement..  May I ask what is the intuition?

Kind regards,
Jeehoon

-- 
Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
Software Foundations Laboratory <http://sf.snu.ac.kr>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20160821/b3f1ee11/attachment.html>