Document Moved: Idris

pkgs/development/idris-modules/README.md

47c3ebd2fb852a4a8c10410c05510e5614a7c208e4bdefeb0000000300000062

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

Chunks

dbfe94c2 (1st chunk of `pkgs/development/idris-modules/README.md`)

Title: Document Moved: Idris

Summary

The document section on Idris has been moved to a new location: /doc/languages-frameworks/idris.section.md.