Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

Published 20 hours ago • verified publisher icon idris-lang

Make help topics more flexible

Open iacore opened this issue 2 years ago • 0 comments

There are only two topics currently, but why not dream big?

This PR also remfinal newline when printing usage.

iacore avatar Jun 07 '22 15:06 iacore