Sofia (40C3) on Nostr: ah so higher order types, yeah that's just syntax, the internal types can be used in ...
ah so higher order types, yeah that's just syntax, the internal types can be used in basically the same way
Sofia (40C3)
npub1rt…sgqta
2026-06-29 07:50:39 UTC
in reply to nevent1q…g00e
Author Public Key
npub1rtjq2cn4d6h3m9h7rwj0s5spexslsqzux5t24w0q4p8mk0n006zqjsgqtaPublished at
2026-06-29 07:50:39 UTCEvent JSON
{
"id": "1481e5b15bed5d56fc9c579490d82e5436a4e3480eaa08237ddff076ab0f518a",
"pubkey": "1ae40562756eaf1d96fe1ba4f85201c9a1f8005c3516aab9e0a84fbb3e6f7e84",
"created_at": 1782719439,
"kind": 1,
"tags": [
[
"e",
"3b04e5dba10dc9c73634bd190cdde462d7f0e0efefcbb6bf8852839d317ba2ef",
"",
"root",
"1ae40562756eaf1d96fe1ba4f85201c9a1f8005c3516aab9e0a84fbb3e6f7e84"
],
[
"e",
"d40c4581950280852ea94b6d1bce3a741852588b1440b55d9fa74e194b34f299",
"",
"reply",
"b05b6813f8525181ced0799995d01f4ec023612b182acdb4ea0134c1d2746f45"
],
[
"p",
"b05b6813f8525181ced0799995d01f4ec023612b182acdb4ea0134c1d2746f45"
],
[
"p",
"1ae40562756eaf1d96fe1ba4f85201c9a1f8005c3516aab9e0a84fbb3e6f7e84"
],
[
"p",
"3e3679ee9aa615895d6710a56519865740e751f1b4fbe53bdb893517969d7432"
],
[
"proxy",
"https://bottom.business/notes/ao2hfs41wtnl0071",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bottom.business/notes/ao2hfs41wtnl0071",
"pink.momostr"
],
[
"-"
]
],
"content": "ah so higher order types, yeah that's just syntax, the internal types can be used in basically the same way",
"sig": "925c575734031d42e2144a5b22ebb0ee1996366bf5c5cc07d5a814df11cd567c7cd19245fa65415b4043afa5db0bd56f2be52627755041398a0a985584c83681"
}