The #Haskell #Unfolder is two years old! Join us for a new episode tomorrow, 2025-04-16, at 1830 UTC, live on YouTube. This time, the topic is logic programming with typedKanren, which is a typed version of #miniKanren embedded into Haskell.
https://www.youtube.com/watch?v=ukk5JDRYQSc&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=42
Andres Löh /
npub1q8…ymqnn
2025-04-15 14:43:09
Author Public Key
npub1q8tuxwdxkr54fv08qrs2yja0e3u0tyju69qje6ht9fldlagre8dqwymqnnPublished at
2025-04-15 14:43:09Event JSON
{
"id": "8cba1d0a19d65eed9750412cf6b8ad4de8aa3fb04a8ab1251b717d1d4f857ad8",
"pubkey": "01d7c339a6b0e954b1e700e0a24bafcc78f5925cd1412ceaeb2a7edff503c9da",
"created_at": 1744728189,
"kind": 1,
"tags": [
[
"t",
"haskell"
],
[
"t",
"unfolder"
],
[
"t",
"minikanren"
],
[
"proxy",
"https://functional.cafe/users/kosmikus/statuses/114342506629673778",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "The #Haskell #Unfolder is two years old! Join us for a new episode tomorrow, 2025-04-16, at 1830 UTC, live on YouTube. This time, the topic is logic programming with typedKanren, which is a typed version of #miniKanren embedded into Haskell.\n\nhttps://www.youtube.com/watch?v=ukk5JDRYQSc\u0026list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7\u0026index=42",
"sig": "f68e21f9799e25379db2d45cacb7ffae418182bba4caf6fb919eb94075e3ce17c4a6c879b0031695495a27fe203638a5e9341b6930deccc41f5224fecb4866d7"
}