Document Relocation Notice

pkgs/development/idris-modules/README.md

47c3ebd2fb852a4a8c10410c05510e5614a7c208e4bdefeb0000000300000062

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

Chunks

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

Title: Document Relocation Notice

Summary

This section's content has been moved to a new file located at `/doc/languages-frameworks/idris.section.md`.