diff options
| author | Georges Gonthier | 2018-11-13 17:32:44 +0100 |
|---|---|---|
| committer | Georges Gonthier | 2018-11-13 17:32:44 +0100 |
| commit | 8c2b4474a29c6213a79676a1e76a8ce936e6f6d6 (patch) | |
| tree | b217f2c6dd2e32b7e19eb90a19b8808fa7a085ad /docs/javascripts | |
| parent | d7eb1ba8b86eebc743e3d419532127b77c6e91cc (diff) | |
Documentation complements for combinatorial class factories
Adding missing documentation for mixin and class constructors for
Equality, Choice, Countable, and Finite.
Renaming Equality mixin constructor comparableClass to the more
consistent comparableMixin.
Diffstat (limited to 'docs/javascripts')
0 files changed, 0 insertions, 0 deletions