aboutsummaryrefslogtreecommitdiff
path: root/src (follow)
Commit message (Collapse)AuthorAge
* feat: adds monadic/dyadic operatorsAkshay Nair2023-12-15
|
* feat: equation proofs (substitution + transitivity)Akshay Nair2023-12-15
|
* refactor: add support for imperative rewrites to make Refl more genericAkshay Nair2023-12-15
|
* refactor: refactorificationAkshay Nair2023-12-12
|
* feat: associativity + distributivity for multiplicationAkshay Nair2023-12-12
|
* feat: commutativity + identity for multiplicationAkshay Nair2023-12-12
|
* feat: associativity and commutativity for additionAkshay Nair2023-12-12
|
* cheated for associativity for a=nAkshay Nair2023-12-10
|
* adds associativity for a=0Akshay Nair2023-12-10
|
* init commit rewriting shitAkshay Nair2023-12-10