Philipp :emacs: :nixos: on Nostr: I actually needed "data AtLeastTwo a = AtLeastTwo a a [a]" just now in my #haskell ...
I actually needed "data AtLeastTwo a = AtLeastTwo a a [a]" just now in my #haskell bindings (cf. NonEmpty or, as I call it now, secretly: "AtLeastOne"). Alternative names: ReallyNonEmpty a?
Published at
2024-10-02 10:27:25Event JSON
{
"id": "7bc37505bbbc3ba999824eef14bac62540c1f565080ab201a970287846f86f4e",
"pubkey": "ac4affaf50335b62981fe0ffff6059e4fb619f4934d6f40082175acb87737e5f",
"created_at": 1727864845,
"kind": 1,
"tags": [
[
"t",
"haskell"
],
[
"proxy",
"https://fosstodon.org/users/pmidden/statuses/113237350533175509",
"activitypub"
]
],
"content": "I actually needed \"data AtLeastTwo a = AtLeastTwo a a [a]\" just now in my #haskell bindings (cf. NonEmpty or, as I call it now, secretly: \"AtLeastOne\"). Alternative names: ReallyNonEmpty a?",
"sig": "e369d82bf50cba13fd2ac453528f442321dbad1f3dfb42735cca7c65d17d3d1e98aef3f57388432aa209d163a538ffe3ff8d81a71046846e6464d29575928a58"
}
