summary refs log tree commit diff
path: root/pkgs/development/idris-modules/README.md
blob: 80b7ccefbcfa9fec9d9fc2aa34a70e1c49317981 (plain) (blame)
1
Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.md)