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