Change meta-level from ==> to "implies" etc.
Opened this issue · 0 comments
aigarashi commented
The ambiguity between ==> at the refinement logic level and meta-level is really confusing...
Opened this issue · 0 comments
The ambiguity between ==> at the refinement logic level and meta-level is really confusing...