agda-ocaml icon indicating copy to clipboard operation
agda-ocaml copied to clipboard

Published 20 hours ago • verified publisher icon agda

PR comments

Open fredefox opened this issue 8 years ago • 0 comments

FYI: https://github.com/agda/agda/pull/2521

fredefox avatar Mar 29 '17 13:03 fredefox