#2176 fixes: - [x] `README`: Agda version number should be 2.6.4 See branch [documentation](https://github.com/jamesmckinna/agda-stdlib/tree/documentation) where I'm collecting these towards an eventual PR for rc1/rc2...: - [x] `README`: Missing comma L10 at "Bradley Hardy Joachim Breitner," - [x] `Relation.Nullary.Decidable.Core`: corrected reference to `README.Design.Decidability` - [x] `installation-guide` (thanks @Saransh-cpp !) - [x] instance arguments discussion in `CHANGELOG` - [ ] ... - [ ] documenting the 'how to typecheck `README.agda` question/problem... UPDATED: now going to be handled in a separate PR by @gallais Now leaving this issue open, to accumulate any of the other documentation things we might find...?
#2176 fixes:
README: Agda version number should be 2.6.4See branch documentation where I'm collecting these towards an eventual PR for rc1/rc2...:
README: Missing comma L10 at "Bradley Hardy Joachim Breitner,"Relation.Nullary.Decidable.Core: corrected reference toREADME.Design.Decidabilityinstallation-guide(thanks @Saransh-cpp !)CHANGELOGREADME.agdaquestion/problem... UPDATED: now going to be handled in a separate PR by @gallaisNow leaving this issue open, to accumulate any of the other documentation things we might find...?