about summary refs log tree commit diff
path: root/pkgs/development/idris-modules/README.md
Commit message (Collapse)AuthorAge
* Move all nixpkgs doc files in to the doc directoryGraham Christensen2018-03-25
| | | | This makes a makefile-driven developer workflow nicer.
* idris-modules: Add docsShea Levy2015-11-27