Extensibility flip#1101

Merged

dsainati1 merged 17 commits intomasterfrom

extensibility-FLIP

Nov 2, 2022

Commits on Aug 17, 2022

basics of FLIP
dsainati1
committed

Commits on Aug 22, 2022

Commits on Aug 25, 2022

Commits on Aug 26, 2022

Commits on Aug 30, 2022

respond to review comments and update proposal as specified in comment
dsainati1
committed

Commits on Aug 31, 2022

attach and remove are special methods
dsainati1
committed

Commits on Sep 1, 2022

extension types for resources require @s on their extensions
dsainati1
committed

Commits on Sep 2, 2022

state explicitly that values on the base type are on self in the extension declaration
dsainati1
committed

Commits on Oct 11, 2022

Commits on Nov 2, 2022

Update flips/20220817-extensibility.md
dsainati1
authored