Post #3023658
2026-05-13 06:09 UTC
@6d03@mathstodon.xyz @BartoszMilewski@mathstodon.xyz It matches with what I have here: https://hackage.haskell.org/package/squares-0.2.1/docs/Data-Square.html
Replies (1)
-
@BartoszMilewski@mathstodon.xyz 2026-05-13 06:30
@sjoerd_visscher@types.pl @6d03@mathstodon.xyz Yes, I also used (Co-)Star as my Conjoint/Companion.