| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-01-20 | doc: add function argument order convention (#110060) | V |
| 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 |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |