Event JSON
{
"id": "937066f4e8e5cd38d4b9097943c3d318166a28a38c7419cce5cdb7b5d870f601",
"pubkey": "891a479d539158c59fe6fbaade872b07baf81f9dd6e9f0e9a9b5aced5a21fabe",
"created_at": 1740498646,
"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",
"a38377bf7f45b484465094baa56a354335f3e6d5c4b6949f1091fcea2531aace",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://social.treehouse.systems/users/jnkrtech/statuses/114065319265446450",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq26zlh0z0afh055uppfrtzhkkr824ya2p9wa3a2ghhj8ntfpnm7xqtulpgt sorry to butt in here, but do you know of good resources on “intrinsically typed de Bruijn indices”? The best I’m finding is a book on agda which I’m struggling to understand. I’m trying to take my first steps coding a type theory in Lean and am falling flat on my face just trying to represent the lambda calculus 😅",
"sig": "87d947f085e55ea9303db87d11589bd888660b7cc4b8977dea5828b6112c0b79f5ff7d0ec03667c15afcc8f34fb7256962c3bf536e7ef3092875a1fa301bd1ec"
}
