Idris2
Idris2 copied to clipboard
All stdlib API docs to be found in the same place
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.