Event JSON
{
"id": "abd8562d8ccc4ff1f12b4fe5c560b2ed5db6a1fb0a8cc1454124183b51bc6f81",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1784197044,
"kind": 1,
"tags": [
[
"t",
"itp"
],
[
"t",
"leanprover"
],
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/116929137525360382",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Is there a future for a formally specified Haskell report?. ~ David Binder. https://youtu.be/qk_P8piUclI #Haskell #FunctionalProgramming #LeanProver #ITP",
"sig": "54825f088bc942c6013d533c51a27d03c54235c8b6ef37145f5be356586e527b6f2860b1504b05ef816539cd292cde0e7f0eac14280281c8b56ffb861af803a2"
}
