Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on A pilot project in universal algebra to explore new ways to collaborate. Parent comment
article gives proof why 4 implies 7 (thus magma with eq4 always agrees with eq7)
There are no comments on this comment yet.
article gives proof why 4 implies 7 (thus magma with eq4 always agrees with eq7)