Event JSON
{
"id": "84f082087f69fb023961e467337685116551a2a124db3c7271d209ff48a72dd2",
"pubkey": "2f0afd5abe64f93d8a7586063f781b69e63387bb9a54d5455cfce53f7b87ed06",
"created_at": 1737061486,
"kind": 1,
"tags": [
[
"p",
"ef628979189e0ec2b5470770795d771faf2c5c86991bb7cb78ae4f2070794209",
"wss://relay.mostr.pub"
],
[
"p",
"43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"wss://relay.mostr.pub"
],
[
"e",
"a943ee3f2dba0224357d346d06218cd3b4e3fb9db393b27003c787f47a5c9fbf",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/boarders/statuses/113840061560120838",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqaa3gj7gcnc8v9d28qac8jhthr7hjchyxnydm0jmc4e8jqureggyscgn8ju one of the messages I got from Andrew Bacon’s excellent book on higher-order logic is that HOL (and thus lambda languages) give a significant language within which to express various ideas of (higher-order) ontology, modality, equality etc.",
"sig": "2f17a6f2e549cf444c50368aa3cb847949c0718dbf19a5f41d87c1b996ca5143ae9734e7c396a9ba7ce5a6d0a39466a3cb0d1e2f928c26f6c56d92e9e5e2f73c"
}
