2 commits

Author	SHA1	Message	Date
Samuel Gräfenstein	0e19ef393a	idris-modules: add final newline to TODO.md	2020-11-09 11:39:28 +00:00
Shea Levy	9562549ff2	idris-modules: Add docs	2015-11-27 13:34:38 -05:00