MetaprogAgda icon indicating copy to clipboard operation
MetaprogAgda copied to clipboard

Published 20 hours ago • verified publisher icon pigworker

Typo fixes

Open Blaisorblade opened this issue 10 years ago • 0 comments

Thanks for this work! Please accept some minor fixes — hope this helps.

Blaisorblade avatar Oct 21 '14 21:10 Blaisorblade