Document Relocation Notice

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

0b56732d6910ff60c0a362dd91203fb6d10b6d05c964c3620000000100000062

Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.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`.