Home
•
Explore
•
Blog
•
CI
☰
nixpkgs
1st chunk of `pkgs/development/idris-modules/README.md`
dbfe94c25800e070a00649b593aca3e6102bef56f3f02a4c0000000100000062
Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.md)
Title: Document Moved: Idris
Summary
The document section on Idris has been moved to a new location: /doc/languages-frameworks/idris.section.md.
▲
▼