4 commits

Author	SHA1	Message	Date
V	7616206b77	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	2021-01-20 19:07:16 -05:00
Cyril Cohen	e87aef06e0	coqPackages: doc (#108937) ... changing bullet style	2021-01-11 10:23:05 +01:00
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Stephen OBrien	a7e9047db3	doc: convert coq to commonmark	2020-11-27 08:13:55 +00:00