wyvernlang/wyvern

implement type inheritance

JonathanAldrich opened this issue · 1 comments

Implement type inheritance (if S "extends" T, the extends keyword copies methods of T into S so S is automatically a subtype of T without code duplication).

Henry notes that this would have helped in writing object algebras for the js backend.

What about delegation?