search

Whiley / RFCs

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

RFC/type-inference #66

Closed DavePearce closed 4 years ago

DavePearce commented 4 years ago

See: https://github.com/DavePearce/RFCs/blob/rfc/forwardinference/text/0000-type-inference.md