mcc on Nostr: "That would require dependent types" That's what you say *every* time I want to do ...
"That would require dependent types" That's what you say *every* time I want to do something fun!!
Published at
2024-11-13 13:22:48Event JSON
{
"id": "8de8ad6befbfe3f0d38c3aaf959e0014be731d34492ff83c5544cef4b7fb595f",
"pubkey": "a3162b9720f6b515ac4bd22d5ea4abf0f85f5685130dca40f46fe684fe85b255",
"created_at": 1731504168,
"kind": 1,
"tags": [
[
"e",
"45b2dbe650220628e08b9cbde1ac66ad99b23c5b96e2988f30b01bf5d5661948",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/mcc/statuses/113475857190179943",
"activitypub"
]
],
"content": "\"That would require dependent types\" That's what you say *every* time I want to do something fun!!",
"sig": "354bb54045bc0797c08026217e5b4872b5a53860584bc5cc8179cb02974814176f35bd4fd6a503f6a6a2bcde39758973af746aab77a88eebfcb56d4526dc03ba"
}
