Menu

#33 Add ordering to type inheritance

open
6
2013-01-15
2012-05-26
No

Using ordering, it would be possible to define strict rules about which deduction rules or actions take precendence during execution.

Discussion


Log in to post a comment.

Auth0 Logo