Apostolis 🫂🕺🧗🏊♂️🚣♂️💻 on Nostr: npub1ez3yy…exnxl what about Higher inductive types?
npub1ez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4suexnxl (npub1ez3…xnxl) what about Higher inductive types?
Apostolis 🫂🕺🧗🏊♂️🚣♂️💻 /
npub13jv…xv5p
2023-09-03 04:14:56
in reply to nevent1q…ep20
Author Public Key
npub13jvwtxs7w6a23f5p3cc2ytf6kaedajj9tvz8xzhcl5jcvpwv9jwqt4xv5pPublished at
2023-09-03 04:14:56Event JSON
{
"id": "5cf7e7145d15f888e5f5dcca3c5955bad853bc34c2c87223061d473b2b13911a",
"pubkey": "8c98e59a1e76baa8a6818e30a22d3ab772deca455b04730af8fd258605cc2c9c",
"created_at": 1693714496,
"kind": 1,
"tags": [
[
"p",
"c8a24274eb0a119f7ed590142309f8945aade119617694b6b9c796921eb71e6b",
"wss://relay.mostr.pub"
],
[
"p",
"5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"wss://relay.mostr.pub"
],
[
"e",
"764a4e5790a6e2945d9ce517c9e0b2a6fe38f4bc1cc4c215068e84aa53eb7525",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://social.coop/users/apostolis/statuses/110999273259482683",
"activitypub"
]
],
"content": "nostr:npub1ez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4suexnxl what about Higher inductive types?",
"sig": "775aef11fa62087440061362204e6bf6bf6b6a36c01b33cfa4074e8d607bb575e196d9b1573b1272b160927e03096da29ec8762430ff6b361607d37fc11210e8"
}