Revision b580c8f8
added subtyping in equations (rhs may be a subtype of lhs)
Files
- added
- modified
- copied
- renamed
- deleted
ID | b580c8f8eac9a794a7cfe8cb48f10103ed1aaa23 |
Parent | b8ae1bbc |
Child | 1cb216b4 |
Added by Xavier Thirioux almost 7 years ago
added subtyping in equations (rhs may be a subtype of lhs)