A tour of the equational theories project | Hacker News Reader