Event JSON
{
"id": "764a4e5790a6e2945d9ce517c9e0b2a6fe38f4bc1cc4c215068e84aa53eb7525",
"pubkey": "8c98e59a1e76baa8a6818e30a22d3ab772deca455b04730af8fd258605cc2c9c",
"created_at": 1693713409,
"kind": 1,
"tags": [
[
"p",
"c8a24274eb0a119f7ed590142309f8945aade119617694b6b9c796921eb71e6b",
"wss://relay.mostr.pub"
],
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"8ccec45ae178af899e1f0576439b6e9820e0353a3f985b04207b27f6168c8489",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://social.coop/users/apostolis/statuses/110999201988401387",
"activitypub"
]
],
"content": "nostr:npub1ez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4suexnxl nostr:npub1jd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208rayscvt4jc So which library written in Agda does that? I want to switch from Cubical to HoTT/UF while still being able to compile a program, when that will be possible in agda.",
"sig": "0d5a51c9c04d14eb725c99ce676c9dc22ff2fa4023582ede4007312d13aeb40eb845ba1bb5177223cf51e9fadfd5284ad2483ffa5da6023a140c39d38ef4ab58"
}
