markusde on Nostr: {-# LANGUAGE CoolTypes #-} ghci> :t (:coolS:) (:coolS:) :: (🅰️ -> 🅱️) -> ...
{-# LANGUAGE CoolTypes #-}
ghci> :t (
)
() :: (🅰️ -> 🅱️) -> 🅰️ -> 🅱️
ghci> :t (
)(
) :: (🅰️ -> 🅱️) -> 🅰️ -> 🅱️
markusde /
npub1npy…l9s2
2024-09-16 14:49:51
Author Public Key
npub1npykwnnmpamc9ap968tkqxvrn8gje70h98cve7flrgz63ug9whlqw8l9s2Published at
2024-09-16 14:49:51Event JSON
{
"id": "0e531676c6be44f6cb43cac00305408f0fe4704054979772697b5021815b2652",
"pubkey": "9849674e7b0f7782f425d1d760198399d12cf9f729f0ccf93f1a05a8f10575fe",
"created_at": 1726498191,
"kind": 1,
"tags": [
[
"emoji",
"coolS",
"https://media.mathstodon.xyz/custom_emojis/images/000/218/011/original/962609bd34543c4b.png"
],
[
"proxy",
"https://mathstodon.xyz/users/markusde/statuses/113147785462764423",
"activitypub"
]
],
"content": "{-# LANGUAGE CoolTypes #-}\n\nghci\u003e :t (:coolS:)\n(:coolS:) :: (🅰️ -\u003e 🅱️) -\u003e 🅰️ -\u003e 🅱️",
"sig": "87d1c9432ed32ead7b2a90ed228df60e80802b2b080de2aea80c8f75dec9b7496322c7c1393ace5ff9f2b73432500ddd40d29e87a850a10a96ee1fd5d9637d32"
}