Silvan Mosberger 513c659d56
Merge pull request #50182 from Infinisil/idris/doc-update
nixpkgs idris docs: Update and improve
2018-11-14 18:47:40 +01:00
..
2018-05-01 19:54:21 -04:00
2018-10-02 15:59:59 -04:00
2018-05-01 19:54:21 -04:00
2018-08-27 19:54:41 -04:00
2018-11-05 20:16:51 +01:00
2018-04-05 07:54:01 -04:00
2018-09-01 15:06:38 -04:00