A project to map out the relations between different equational theories of Magmas.
Primary LanguageCApache License 2.0Apache-2.0