José A. Alonso on Nostr: Evaluation of monadic code, example: Tseitin, error monads. ~ René Thiemann. ...
Published at
2024-11-17 11:25:47Event JSON
{
"id": "ee1cd4ab0620ce0e8b5e09ecde05a8e42e8a9ce2c8de5ba45213c864d037848d",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731842747,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113498046313229669",
"activitypub"
]
],
"content": "Evaluation of monadic code, example: Tseitin, error monads. ~ René Thiemann. http://cl-informatik.uibk.ac.at/teaching/ws24/afp/slides/06x1.pdf #Haskell #FunctionalProgramming",
"sig": "a8a996719c3034960c4f85fe218b93ba5af9c5cf519be64c18928d17674ce27c13fda8b49171d14e8a4ccd2b7235d1bad942349d1f484dee808e488749d53d33"
}
