summary refs log tree commit diff
path: root/doc/languages-frameworks/idris.section.md
Commit message (Expand)AuthorAge
* doc: minimize mentions of nix-env -i without -A in nixpkgs manualGuillaume Girol2021-12-18
* doc: prepare for commonmarkJan Tojnar2021-06-07
* doc/languages-frameworks/*: add missing languages to code fencesSandro Jäckel2021-04-05
* doc: add function argument order convention (#110060)V2021-01-20
* doc: explicit Markdown anchors for top-level headings; remove metadataRyan Mulligan2021-01-01
* manual: use quoted homepage urlsJonathan Ringer2020-02-16
* doc: organize chapters into parts, and reduce toc depthFrederik Rietdijk2019-10-20
* build-idris-package: add documentation on idris commands optionsMarco Perone2019-08-06
* doc/idris: Fix install instructionsSilvan Mosberger2019-06-15
* nixpkgs idris docs: Update and improveSilvan Mosberger2018-11-12
* Move all nixpkgs doc files in to the doc directoryGraham Christensen2018-03-25