正気・腕力・犬 on Nostr: instance Semigroup Model3d where Solid (Box 0 0 0) <> b = b a <> Solid (Box 0 0 0) = ...
instance Semigroup Model3d where
Solid (Box 0 0 0) <> b = b
a <> Solid (Box 0 0 0) = a
a <> b = union [a, b]
いやここで a <> b = union [a, b] のaやbの中身を覗くのがスマートか
Published at
2024-06-23 10:50:09Event JSON
{
"id": "0e4ad0d67117d1b3b0c9e266d9dabfcd87fd8d915a15530b3f078d1beea75e1d",
"pubkey": "ea107a3bf03e57bca780197b73c29f01c48c815308fd40ea19a47411c41cfa1e",
"created_at": 1719139809,
"kind": 1,
"tags": [
[
"proxy",
"https://misskey.io/notes/9uuzro9y8fx4027n",
"activitypub"
]
],
"content": "\n\ninstance Semigroup Model3d where\n Solid (Box 0 0 0) \u003c\u003e b = b\n a \u003c\u003e Solid (Box 0 0 0) = a\n a \u003c\u003e b = union [a, b]\nいやここで a \u003c\u003e b = union [a, b] のaやbの中身を覗くのがスマートか",
"sig": "158a724a61697ab0354350a6fdd94aa47e5092937ec5c037c6131c77f462121a90198211c6bff0599368f52709bd5424d8e8ac383fd21b25cf6e0623df80b3aa"
}
