search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
Apache License 2.0
78 stars 19 forks source link

add some docstrings #14

Closed edegeltje closed 1 day ago

edegeltje commented 1 day ago

this can aid for getting a quick intuition what an equation is about.

Please do comment if you think this is not wanted/not an improvement, i am interested in hearing opinions about this.