depot/third_party/nixpkgs/pkgs/development/idris-modules/README.md