aboutsummaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Collapse)Author
2023-12-22feat: adds SKI combinatorsHEADmainAkshay Nair
2023-12-22refactor: minor refactor of proofsAkshay Nair
2023-12-16feat: lambda calculusAkshay Nair
2023-12-15refactor: moves stuff aroundAkshay Nair
2023-12-15feat: adds monadic/dyadic operatorsAkshay Nair
2023-12-15feat: equation proofs (substitution + transitivity)Akshay Nair
2023-12-15refactor: add support for imperative rewrites to make Refl more genericAkshay Nair
2023-12-12refactor: refactorificationAkshay Nair
2023-12-12feat: associativity + distributivity for multiplicationAkshay Nair
2023-12-12feat: commutativity + identity for multiplicationAkshay Nair
2023-12-12feat: associativity and commutativity for additionAkshay Nair
2023-12-10cheated for associativity for a=nAkshay Nair
2023-12-10adds associativity for a=0Akshay Nair