summary refs log blame commit diff
path: root/pkgs/development/idris-modules/README.md
blob: 80b7ccefbcfa9fec9d9fc2aa34a70e1c49317981 (plain) (tree) 
92d53362d4d ^

1

                                                                                                 
Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.md)
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-03 21:59:24 +0000