Age | Commit message (Expand) | Author |
---|---|---|
2021-01-01 | doc: explicit Markdown anchors for top-level headings; remove metadata | Ryan Mulligan |
2020-02-16 | manual: use quoted homepage urls | Jonathan Ringer |
2019-10-20 | doc: organize chapters into parts, and reduce toc depth | Frederik Rietdijk |
2019-08-06 | build-idris-package: add documentation on idris commands options | Marco Perone |
2019-06-15 | doc/idris: Fix install instructions | Silvan Mosberger |
2018-11-12 | nixpkgs idris docs: Update and improve | Silvan Mosberger |
2018-03-25 | Move all nixpkgs doc files in to the doc directory | Graham Christensen |