diff options
author | V <v@anomalous.eu> | 2021-01-21 01:07:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-20 19:07:16 -0500 |
commit | 7616206b7747f12db15d32a7ab16b0ceaa3d7331 (patch) | |
tree | b7cc1797a713439c41209f3e744a336420d6657d /doc/languages-frameworks/coq.section.md | |
parent | 77403c1c19f9e9c5f8ba9bb24f83c07eace126b2 (diff) | |
download | nixpkgs-7616206b7747f12db15d32a7ab16b0ceaa3d7331.tar nixpkgs-7616206b7747f12db15d32a7ab16b0ceaa3d7331.tar.gz nixpkgs-7616206b7747f12db15d32a7ab16b0ceaa3d7331.tar.bz2 nixpkgs-7616206b7747f12db15d32a7ab16b0ceaa3d7331.tar.lz nixpkgs-7616206b7747f12db15d32a7ab16b0ceaa3d7331.tar.xz nixpkgs-7616206b7747f12db15d32a7ab16b0ceaa3d7331.tar.zst nixpkgs-7616206b7747f12db15d32a7ab16b0ceaa3d7331.zip |
doc: add function argument order convention (#110060)
* doc: add function argument order convention Ordering by usage is the de facto ordering given to arguments. It's logical, and makes finding argument usage easier. Putting lib first is common in NixOS modules, so it's reasonable to mirror this in nixpkgs proper. Additionally, it's not a package as such, has zero dependencies, and can be found used anywhere in a derivation. * doc: clean up usage of lib
Diffstat (limited to 'doc/languages-frameworks/coq.section.md')
-rw-r--r-- | doc/languages-frameworks/coq.section.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/languages-frameworks/coq.section.md b/doc/languages-frameworks/coq.section.md index 5e16a4c546a..8f564c6e46b 100644 --- a/doc/languages-frameworks/coq.section.md +++ b/doc/languages-frameworks/coq.section.md @@ -42,8 +42,8 @@ It also takes other standard `mkDerivation` attributes, they are added as such, Here is a simple package example. It is a pure Coq library, thus it depends on Coq. It builds on the Mathematical Components library, thus it also takes some `mathcomp` derivations as `extraBuildInputs`. ```nix -{ coq, mkCoqDerivation, mathcomp, mathcomp-finmap, mathcomp-bigenough, - lib, version ? null }: +{ lib, mkCoqDerivation, version ? null +, coq, mathcomp, mathcomp-finmap, mathcomp-bigenough }: with lib; mkCoqDerivation { /* namePrefix leads to e.g. `name = coq8.11-mathcomp1.11-multinomials-1.5.2` */ namePrefix = [ "coq" "mathcomp" ]; |