d-xo opened this issue 3 years ago · 1 comments
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.
<-