Project

General

Profile

« Previous | Next » 

Revision b580c8f8

IDb580c8f8eac9a794a7cfe8cb48f10103ed1aaa23
Parent b8ae1bbc
Child 1cb216b4

Added by Xavier Thirioux over 5 years ago

added subtyping in equations (rhs may be a subtype of lhs)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences