aboutsummaryrefslogtreecommitdiff
path: root/src/Error/Base.hs
Commit message (Collapse)AuthorAgeFilesLines
* add PBTs for arithmetic operatorsAkshay2020-10-141-3/+0
| | | | | - commutativity of addition - commutativity of multiplication
* refactor Error into submodulesAkshay2020-10-131-0/+37