Event JSON
{
"id": "fccc719ef5304994e406b6fa13642c9daf108a4de9a83975dfdbf7a1326d41a6",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731916906,
"kind": 1,
"tags": [
[
"t",
"categorytheory"
],
[
"t",
"programming"
],
[
"t",
"python"
],
[
"t",
"functionalprogramming"
],
[
"t",
"commonlisp"
],
[
"t",
"haskell"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113502906403887608",
"activitypub"
]
],
"content": "Readings shared November 17, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/17-readings_shared_11-17-24 #ITP #Coq #Haskell #CommonLisp #FunctionalProgramming #Python #Programming #CategoryTheory",
"sig": "0aaed8c366d21b26bfe0e9628c90a41594c6b78dec89aae11da0086f28c5c336316f72bf42b3c71d9485d23f824449a0e0994d05ecbdfdb992dc273e0ab0867f"
}
