aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* feat: adds SKI combinatorsHEADmainAkshay Nair2023-12-22
* refactor: minor refactor of proofsAkshay Nair2023-12-22
* feat: lambda calculusAkshay Nair2023-12-16
* refactor: moves stuff aroundAkshay Nair2023-12-15
* feat: adds monadic/dyadic operatorsAkshay Nair2023-12-15
* Merge branch 'main' of github.com:phenax/ts-theorem-provinatorAkshay Nair2023-12-15
|\
| * Update README.mdAkshay Nair2023-12-12
* | 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