@trebor can I interest you in a Haskell question? As I understand it, the problem is to solve the word problem for free groups using their universal property.
=> More informations about this toot | View the thread | More toots from ncf@types.pl
=> View trebor@types.pl profile
text/geminiThis content has been proxied by September (3851b).