Commit graph

2 commits

Author SHA1 Message Date
Graham Christensen
92d53362d4
Move all nixpkgs doc files in to the doc directory
This makes a makefile-driven developer workflow nicer.
2018-03-25 19:52:00 -04:00
Shea Levy
9562549ff2 idris-modules: Add docs 2015-11-27 13:34:38 -05:00