sml-redprl icon indicating copy to clipboard operation
sml-redprl copied to clipboard

Published 20 hours ago • verified publisher icon RedPRL

Rewrite in reverse

Open favonia opened this issue 6 years ago • 0 comments

Coq uses <-. I wonder what are the other options? etirwer?

favonia avatar Feb 15 '18 11:02 favonia