Issue 37 in project procilege
codesite...@google.com
http://code.google.com/p/procilege/issues/detail?id=37
New issue report by lcgong:
For the simplification of analyzing the implication with trait, we
introduce the prism and the dispersion of traits. Such as, for the
implication f: a ->b , such that there exists the traits t1:( t0:(a,f), b).
If those are characterized with t1, the capability is required that those
traits are separated into two groups: {a} and {b}.
Issue attributes:
Status: Accepted
Owner: lcgong
Labels: Type-Enhancement Priority-Medium
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
codesite...@google.com
http://code.google.com/p/procilege/issues/detail?id=37
Comment #1 by lcgong:
(No comment was entered for this change.)
Issue attribute updates:
Labels: Milestone-0.2
codesite...@google.com
http://code.google.com/p/procilege/issues/detail?id=37
Comment #2 by lcgong:
(No comment was entered for this change.)
Issue attribute updates:
Status: Fixed
codesite...@google.com
http://code.google.com/p/procilege/issues/detail?id=37
Comment #3 by lcgong:
(No comment was entered for this change.)
Issue attribute updates:
Labels: -Milestone-0.2 Milestone-0.1