search

Whiley / RFCs

Request for Comment (RFC) proposals for substantial changes to the Whiley language.
3 stars 2 forks source link

RFC/existentials #54

Closed DavePearce closed 4 years ago

DavePearce commented 5 years ago

See: https://github.com/DavePearce/RFCs/blob/rfc/existentials/text/0000-existentials.md

DavePearce commented 5 years ago

@altmattr Ok, this is a my pretty "out there" solution to the problem I'm having modelling DOM references. In fact, I only need the existential reference type.