What is Nostr?
Philipp :emacs: :nixos: /
npub1439…9lnk
2024-10-02 10:27:25

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?
Author Public Key
npub14390lt6sxddk9xqlurll7czeunakr86fxnt0gqyzzadvhpmn0e0sr39lnk