Capital on Nostr: I am once again fucking around with Union types in Idris. I think this time I ...
I am once again fucking around with Union types in Idris. I think this time I actually have something that doesn't immediately fall apart 
Capital /
npub1ryf…ur9z
2023-06-28 06:27:51
Author Public Key
npub1ryfja06pvw3rnyv3hjgvy0en68lyj3wta8yq0vx3j6ch9gnsr9ss2wur9zPublished at
2023-06-28 06:27:51Event JSON
{
"id": "41e5acfa670677d72a127bb9f8c17e133bc2a59836c512b064fffe47f54426fe",
"pubkey": "19132ebf4163a2399191bc90c23f33d1fe4945cbe9c807b0d196b172a2701961",
"created_at": 1687933671,
"kind": 1,
"tags": [
[
"emoji",
"blobfoxcomfycomputer",
"https://cdn.pawb.social/mastodon-fe/custom_emojis/images/000/014/904/original/9053b9471165527b.png"
],
[
"mostr",
"https://furry.engineer/users/CapitalEx/statuses/110620421100199230"
]
],
"content": "I am once again fucking around with Union types in Idris. I think this time I actually have something that doesn't immediately fall apart :blobfoxcomfycomputer:\n\nhttps://cdn.pawb.social/mastodon-fe/media_attachments/files/110/620/373/577/509/343/original/48a3e0924abf3514.png",
"sig": "f4cc476d6355b1aced40a55088868ae8671cd31c1028c4d5d5bc50988526618ef7efce8531fde9ced8ae14878b5ffe68dc371cf99a705eb736e0e3e68c0ccb53"
}