A tour of the equational theories project | Dark Hacker News