@flaviusb @chrisamaphone
Hey, it is what it is
Conversation
Notices
-
Embed this notice
Paul Cantrell (inthehands@hachyderm.io)'s status on Friday, 27-Oct-2023 10:22:26 JST Paul Cantrell -
Embed this notice
серафими многоꙮчитїи (flaviusb@mastodon.social)'s status on Friday, 27-Oct-2023 10:22:27 JST серафими многоꙮчитїи @chrisamaphone Dependent... fixpoint?
-
Embed this notice
chris martens (chrisamaphone@hci.social)'s status on Friday, 27-Oct-2023 10:22:31 JST chris martens bad type idea: dependent pair where both components can depend on each other
-
Embed this notice