Record🤔

uri:

"at://did:plc:zhllcjpl2zmoh5pxz5wqj6ow/app.bsky.feed.post/3kgtwlweh6e2y"

cid:

"bafyreiavj6hld7b6xs6mi3pysrsoyruwmuqi46ngrpmabrs7efvxaqymyq"

value:

text:

"So if the option set is {Beer, {Wine, Gin}}, that means Chooser can have Beer, or a choice between Wine and Gin.

It seems that this isn't that different than having the option set {Beer, Wine, Gin}. And Cut tries to formalise that intuition."

$type:

"app.bsky.feed.post"

langs:

• "en"

reply:

root:

cid:

"bafyreicy3ls3krqtcm5rzy5mg3janrbiz64mehsiwj5dmsxlfnjahdig6e"

uri:

"at://did:plc:zhllcjpl2zmoh5pxz5wqj6ow/app.bsky.feed.post/3kgtw6jppmw2w"

parent:

cid:

"bafyreidhfhekrhk4clb7j6hv5rg3x5wkyaso6ktpprobs3xg46ceqgklju"

uri:

"at://did:plc:zhllcjpl2zmoh5pxz5wqj6ow/app.bsky.feed.post/3kgtwhe7f6u2k"

createdAt:

"2023-12-18T21:07:38.071Z"