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 /bin/Main.hs | |
parent | 8b08ea946d1fc73d8363efb633b8063f750520bf (diff) |
add PBTs for arithmetic operators
- commutativity of addition
- commutativity of multiplication
Diffstat (limited to 'bin/Main.hs')
0 files changed, 0 insertions, 0 deletions