Event JSON
{
"id": "58a0cf4ac9c634089d648eb121d66c90faaa901dc8138e50f6616f86b89898d3",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1733812708,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"Lean4"
],
[
"t",
"LeanLang"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113627149683160875",
"activitypub"
]
],
"content": "Readings shared December 9, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/09-readings_shared_12-09-24 #ITP #LeanLang #Lean4 #Haskell #FunctionalProgramming",
"sig": "be9fb73bb2ea1bc3d50b7be9256d5a0e221f85d8565aa7b7bbf183efc833be150c3864ae2113de4b825344d1e44d2feb83a4854e9dec54a9779e531739aad53c"
}
