ATProto Browser
Experimental browser for the Atmosphere
Experimental browser for the Atmosphere
in the same way that a function from a unit type identifies a single unique way to produce something (a value), a null-valued function describes a single unique way to consume something (a usage) for example, cobooleans `2*` have two unique usages, just as booleans `2` have two unique values
May 11, 2025, 9:10 PM
{
"uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lowekybefc22",
"cid": "bafyreia74wmrgoecn3v7lddurn4psyybmfss6deeikzqzbddwzdljwwi24",
"value": {
"text": "in the same way that a function from a unit type identifies a single unique way to produce something (a value), a null-valued function describes a single unique way to consume something (a usage)\n\nfor example, cobooleans `2*` have two unique usages, just as booleans `2` have two unique values",
"$type": "app.bsky.feed.post",
"langs": [
"en"
],
"reply": {
"root": {
"cid": "bafyreicdo5xdebmb2kyghwxoolmlzrci4ax5xvvqzv5tkkhkmtoezoqpaa",
"uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lm5bkt6shk2k"
},
"parent": {
"cid": "bafyreigigcltr4z7h7mmqdjfya3vqeyty37es3hbhab6bsfvb27g2nbnuy",
"uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3lowekxjmms22"
}
},
"createdAt": "2025-05-11T21:10:42.793Z"
}
}