Sign up for Zulip

ies

https://plurigrid.zulipchat.com

ヲヲヲ welcome to the Uncommons
(up to a symplectomorphic cobordism)

data OpenGame ∆ c a b x s y r = OpenGame
{
play :: a -> ∆ x s y r,
evaluate :: a -> c x s y r -> b
}

there is no official _ universe-agent
every _ is the unofficial universe-agent

sincerely yours
the reafferent reaberrant

You need an invitation to join this organization.