Azul on Nostr: i don't like it when people talk about coinductive types having constructors. they ...
i don't like it when people talk about coinductive types having constructors. they don't.
Published at
2024-03-20 00:54:23Event JSON
{
"id": "1ea2a2abc5be7e44b07b38c63d525dbb83d3e4e75f126cf8479240628034363b",
"pubkey": "bad5303c1a44db0be976b705bce1e28963e87f1aadb14d9fe005dfc6d951623f",
"created_at": 1710896063,
"kind": 1,
"tags": [
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/112125284396567364",
"activitypub"
]
],
"content": "i don't like it when people talk about coinductive types having constructors. they don't.",
"sig": "a5044942013ffc84b7ba829536eccc9988d35ed1359a98b3e10d9d40e4c4f6193837038cffa613d8fd904a34e34d237ab0fa2c3144cf2eae883a169653219959"
}
