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