I have encountered your GitHub code (specifically the software you use to draw knots). The lambda calculus with the self distributive magma basically would hav

I have encountered your GitHub code (specifically the software you use to draw knots). The lambda calculus with the self distributive magma basically would have all of the axioms of the lambda calculus but also with every valid statement in lambda calculus you also add the left self distributively law. This was a simplification of the project due to time constraints. The original goal were to have all of the quandle operations to operate on every welf formed statement that would be a rewriting system. https://ncatlab.org/nlab/show/self-distributive+operation https://ncatlab.org/nlab/show/self-distributive+operation (a (b c)) => (a b) (a c) So lets say we have the following church numeral. λf.λx.f (f (f x)) We would be able to do an operation using the self-distributive operation λf.λx.f (f (f x)) => λf.λx.f (f f) (f x) This is a bit hand-wavy though.