sml-redprl icon indicating copy to clipboard operation
sml-redprl copied to clipboard
verified publisher icon RedPRL

Rewrite in reverse

Open favonia opened this issue 8 years ago • 0 comments

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

favonia avatar Feb 15 '18 11:02 favonia