Event JSON
{
"id": "d4cc379dd245c96572c2bf275611298bd247fc65859fdb7a7db5c7006cc0c567",
"pubkey": "ba0e1688a7414193a26f371924e606bbfef27833b13b83d4d81b376e3dcc8edf",
"created_at": 1740405717,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"60c6508cebf73684dabd78987dcce8860a1f20a63eba9941c535fc4a3f41a9bd",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://cyberglot.lol/users/april/statuses/114059229095228050",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 yesterday I started to implement thinnings for binders, but they are fairly sour to deal with without dependent types, but also I don’t want to use agda for this. 🥲",
"sig": "8671f7b39ed773756fe5c470462ec2c1e6dd896961d3a65dbb8dcfe239d3623bfad81d9c3d6cb26c4cb087988ef78e6b9f73fcd61b40a40509e120d4d50342d2"
}
