Event JSON
{
"id": "9f1d4174136f22907f53a496fe536d43d1f90c00ffd51d96d31c6bcee5b1ee57",
"pubkey": "891a479d539158c59fe6fbaade872b07baf81f9dd6e9f0e9a9b5aced5a21fabe",
"created_at": 1740503703,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"5685fbbc4fea6efa53810a46b15ed619d55275412bbb1ea917bc8f35a433df8c",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"p",
"ba0e1688a7414193a26f371924e606bbfef27833b13b83d4d81b376e3dcc8edf",
"wss://relay.mostr.pub"
],
[
"e",
"d04ce365c480fafe72d12316b2323e32d584578ceb6d49ea0b5012301abd9b0c",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://social.treehouse.systems/users/jnkrtech/statuses/114065650729039259",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq26zlh0z0afh055uppfrtzhkkr824ya2p9wa3a2ghhj8ntfpnm7xqtulpgt That does, thank you! I was trying to store the indices as ints rather than as an inductive type. Does this indexing make it easier to write proofs about the systems? Or is it to maintain correctness when writing substitution etc operations?",
"sig": "732a9ef3edf11f79eb541e26dbbe7fba3eda25c3f311367c1cf87d11c306f227f4db8a1c6846011218b7e281d0d609862ef5ca3a32975515e62266d0a59e620c"
}
