From 3b28fbe53870a7007aab3300fdb7665a08705d72 Mon Sep 17 00:00:00 2001
From: ratherforky <34199683+ratherforky@users.noreply.github.com>
Date: Fri, 11 Sep 2026 18:08:47 +0100
Subject: [PATCH] Add Ep 86 of the Haskell Interlude

---
 podcast/86/index.markdown |  9 +++++++++
 podcast/86/links.markdown | 10 ++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 podcast/86/index.markdown
 create mode 100644 podcast/86/links.markdown

diff --git a/podcast/86/index.markdown b/podcast/86/index.markdown
new file mode 100644
index 00000000..e39d2e5e
--- /dev/null
+++ b/podcast/86/index.markdown
@@ -0,0 +1,9 @@
+---
+title: Michael Hanus
+episode: 86
+buzzsproutId: 19791134
+recorded: 2026-03-18
+published: 2026-09-11
+---
+
+In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is one of the founders of functional logic programming, the combination of logic and functional programming in a single formalism. Michael is also the creator of Curry, a functional-logic language that resembles Haskell, so you can dive right in if you're familiar with Haskell. Naturally, we talked about what functional logic programming is, how it improves over plain functional programming, and the challenges of semantics and implementation. We learned a lot - enjoy!
diff --git a/podcast/86/links.markdown b/podcast/86/links.markdown
new file mode 100644
index 00000000..4fbbccb9
--- /dev/null
+++ b/podcast/86/links.markdown
@@ -0,0 +1,10 @@
+- [Prolog](https://en.wikipedia.org/wiki/Prolog)
+- [Constraint logic programming](https://dl.acm.org/doi/10.1145/41625.41635)
+- [Ralph Hinze](https://www.cs.ox.ac.uk/people/ralf.hinze/)
+- [Miranda](https://www.cs.kent.ac.uk/people/staff/dat/miranda/)
+- [Curry](https://www.curry-lang.org/)
+- [Implementing Equational Constraints in a Functional Language](https://doi.org/10.1007/978-3-642-45284-0_9)
+- [Verse](https://verselang.github.io/book/)
+- [The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming](https://ranjitjhala.github.io/static/verse-calculus-icfp23-full.pdf)
+- [miniKanren](https://minikanren.org/)
+- [Lambda Prolog](https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/)