Mercurial :badapple: on Nostr: old school kirby have you at least defined the axioms of predicate calculus and the ...
old school kirby (npub1wg0…t0yf) have you at least defined the axioms of predicate calculus and the rules for term reduction
Mercurial :badapple: /
npub100…vevsv
2024-09-07 22:02:50
in reply to nevent1q…dv46
Author Public Key
npub1007nmq8hj2v9zfudpvpv65q8gtcl8kgyetlkpgh0mmu34q28yges7vevsvPublished at
2024-09-07 22:02:50Event JSON
{
"id": "e0f0db64735dee49e6de9e8c2639210d4307f3b2cef4e5af8b92e603fe9172d6",
"pubkey": "7bfd3d80f7929851278d0b02cd500742f1f3d904caff60a2efdef91a81472233",
"created_at": 1725746570,
"kind": 1,
"tags": [
[
"p",
"721eacb3df4ee6374240e2978da81baa1daa75cf6908e4b988ea4130112f53b6",
"wss://relay.mostr.pub"
],
[
"e",
"3d6d6e413a483015730d3ffa64fcea2222a68338c87f360e60b74884e1d9ca49",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://lab.nyanide.com/objects/13f2d8a2-2634-42b6-bd0d-6841a02aba65",
"activitypub"
]
],
"content": "nostr:npub1wg02ev7lfmnrwsjqu2tcm2qm4gw65aw0dyywfwvgafqnqyf02wmqhht0yf have you at least defined the axioms of predicate calculus and the rules for term reduction",
"sig": "89abf50cb7a3cd4484aad42c2fa82423808b2fc5425f3bf5e50dff96e9290e3d4a4ce3ae33619167862abdfb180e43650c793f57362d829c8226a0a3cd1b33f5"
}