Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

All stdlib API docs to be found in the same place

Open joelberkeley opened this issue 3 years ago • 0 comments

As a user of the stdlib, it would be really nice if there was one unambiguous online source of the stdlib API reference. Since there is a release version and a dev version, there would presumably be different pages on the site for each.

joelberkeley avatar Sep 21 '22 16:09 joelberkeley