f986333023
Stating that CPUs and the isCompatible relation forms a category (or preorder) is correct but overtly technical. We can state it more clearly for readers unfamiliar with mathematics while retaining some keywords to be useful to technical readers. |
||
---|---|---|
.. | ||
architectures.nix | ||
default.nix | ||
doubles.nix | ||
examples.nix | ||
inspect.nix | ||
parse.nix | ||
platforms.nix |