diff options
| author | Akshay <[email protected]> | 2020-10-14 09:45:45 +0100 |
|---|---|---|
| committer | Akshay <[email protected]> | 2020-10-14 09:45:45 +0100 |
| commit | 82a64ef64602227daefc3ff96908d6c1b2303b61 (patch) | |
| tree | 0c4604f2216c148ad0bd010153e56c9173e08361 /default.nix | |
| parent | 8b08ea946d1fc73d8363efb633b8063f750520bf (diff) | |
add PBTs for arithmetic operators
- commutativity of addition
- commutativity of multiplication
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions