Zanzi @ Monoidal Cafe on Nostr: is there a nice inductive definition of "lists indexed by an upper-bound on their ...
is there a nice inductive definition of "lists indexed by an upper-bound on their length"?
Published at
2025-02-03 15:57:49 UTCEvent JSON
{
"id": "a9ebd4ce581a5e75c179bb4efc9200f5b6a2e1f0bcf992526077ea6ecca8e13e",
"pubkey": "6bdab9eda962efa7ecc9ae53ce8c59b532593a8473b564f76aa9d0b44862a35c",
"created_at": 1738598269,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@zanzi/113940776180360169",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/zanzi/statuses/113940776180360169",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/zanzi/statuses/113940776180360169",
"pink.momostr"
],
[
"-"
]
],
"content": "is there a nice inductive definition of \"lists indexed by an upper-bound on their length\"?",
"sig": "dc20970ca2319c900674c4d98551651429b13d02330cecdf40c5480f6b67996e4617edcac1bf3a700d59fc09b7ce101f7e9a84a2b90908b33a6b51ec69811b73"
}
