Event JSON
{
"id": "d40eaefb7dd2c9dde4b9b1d4e0d4dc10338fcad00040411a4af4a3f2aad4eafe",
"pubkey": "87fbdfdd6c98a59a7730be4dffa7eca010b3e74a0c9562b6ce1884d841b5def0",
"created_at": 1729111920,
"kind": 1,
"tags": [
[
"t",
"haskell"
],
[
"t",
"dependenttypes"
],
[
"proxy",
"https://fosstodon.org/users/haskell/statuses/113319078837406489",
"activitypub"
]
],
"content": "Serokell’s Work on GHC: Dependent Types, Part 4.\n\nhttps://serokell.io/blog/serokell-s-work-on-ghc-dependent-types-part-4\n\n#Haskell #DependentTypes",
"sig": "3998e88dff3861e0e424f1fed3e4944b54d09e04b178110d4e93580154a561ef34737d79f0ad23163782a9de914bfc7272409b16d133a82e3ca7e4bd9d9e73c9"
}
