Project to map out the relation between different equational theories of Magmasgithub.com2 points·looofooo0··0 commentsOpen articleSaveView on HN