search

Whiley / RFCs

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

RFC/rectype #112

Open DavePearce opened 2 years ago

DavePearce commented 2 years ago

This RFC proposes new syntax (rectype) for recursive types in Whiley.

View: Direct link here.