pkgs/development/idris-modules/README.md at 23.11-beta

lol

nixpkgs / pkgs / development / idris-modules / README.md

at 23.11-beta 1 lines 98 B view raw view rendered

wrap content

Graham Christensen Move all nixpkgs doc files in to the doc directory 8 years ago

1Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.md)