This bounty is no longer available
Web3 DAO | Ethereum Foundation Logo

Syntax: change rewrite arrow to `<-`

Organization

Ethereum Foundation

Deadline

N/A

Status

ENDED


INSTRUCTIONS

Currently rewrites and implication use the same syntax, which is a little confusing. It would be nice to change the rewrite arrow to <-, hopefully making the specs easier to write.