aboutsummaryrefslogtreecommitdiff
path: root/bin/Main.hs
diff options
context:
space:
mode:
authorAkshay <[email protected]>2020-10-14 09:45:45 +0100
committerAkshay <[email protected]>2020-10-14 09:45:45 +0100
commit82a64ef64602227daefc3ff96908d6c1b2303b61 (patch)
tree0c4604f2216c148ad0bd010153e56c9173e08361 /bin/Main.hs
parent8b08ea946d1fc73d8363efb633b8063f750520bf (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