npub1yrlmnr0y2ch5ycn38j2navyduf5q6tqyd0led3p7xhwmzwcrlsaq558gpm (npub1yrl…8gpm) ha!
though actually "do or do not ... " should typecheck and have type (FreeBoolean x -> FreeBolean x) assuming not, or are appropriately overloaded to work on any boolean algebra (and not just Bool).
the `or do not ...` is in the reader monad.
lawless polymorph /
npub1ht…ql4au
2023-10-23 02:20:10
in reply to nevent1q…80j0
Author Public Key
npub1ht2nq0q6gndsh6tkkuzmec0z3937slc64kc5m8lqqh0udk23vglsaql4auSeen on
wss://relay.nostr.bandPublished at
2023-10-23 02:20:10Event JSON
{
"id": "d93ce4793ef6ad504166502b801e789f32ca2009bab34408a9d9db2a47aef5e3",
"pubkey": "bad5303c1a44db0be976b705bce1e28963e87f1aadb14d9fe005dfc6d951623f",
"created_at": 1698027610,
"kind": 1,
"tags": [
[
"p",
"20ffb98de4562f4262713c953eb08de2680d2c046bff96c43e35ddb13b03fc3a",
"wss://relay.mostr.pub"
],
[
"p",
"ea01c28d25fdebef270fb11977d88794eaa6e04210af4e9f0d45d2ca4df3e28e",
"wss://relay.mostr.pub"
],
[
"e",
"b0b4b53163b788030cf41ba6a12e4b4add5ead322b3cc67103ac820db5432314",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/111281937456153204",
"activitypub"
]
],
"content": "nostr:npub1yrlmnr0y2ch5ycn38j2navyduf5q6tqyd0led3p7xhwmzwcrlsaq558gpm ha!\n\nthough actually \"do or do not ... \" should typecheck and have type (FreeBoolean x -\u003e FreeBolean x) assuming not, or are appropriately overloaded to work on any boolean algebra (and not just Bool).\n\nthe `or do not ...` is in the reader monad.",
"sig": "b9a28f5a92153e1ee180678a14b41d6a611d4709710713e27ead3a33d7266fb8f6cf8dba1200a962a6b5eae9bfbb5342192bdcda2f52c39b751c4a5baa8194cd"
}