about summary refs log tree commit diff
path: root/doc/languages-frameworks/idris.section.md
AgeCommit message (Expand)AuthorFilesLines
2024-03-28treewide: Fix all Nix ASTs in all markdown filesJanne Heß1-2/+2
2024-03-06Nix docs: remove `with lib;` from example codeAnderson Torres1-3/+3
2022-12-04doc: use sri hash syntaxColin Arnott1-1/+1
2021-12-18doc: minimize mentions of nix-env -i without -A in nixpkgs manualGuillaume Girol1-4/+1
2021-06-07doc: prepare for commonmarkJan Tojnar1-12/+14
2021-04-05doc/languages-frameworks/*: add missing languages to code fencesSandro Jäckel1-9/+9
2021-01-20doc: add function argument order convention (#110060)V1-5/+5
2021-01-01doc: explicit Markdown anchors for top-level headings; remove metadataRyan Mulligan1-1/+1
2020-02-16manual: use quoted homepage urlsJonathan Ringer1-1/+1
2019-10-20doc: organize chapters into parts, and reduce toc depthFrederik Rietdijk1-1/+1
2019-08-06build-idris-package: add documentation on idris commands optionsMarco Perone1-0/+18
2019-06-15doc/idris: Fix install instructionsSilvan Mosberger1-2/+13
2018-11-12nixpkgs idris docs: Update and improveSilvan Mosberger1-28/+104
2018-03-25Move all nixpkgs doc files in to the doc directoryGraham Christensen1-0/+39