From 8044eb95639d96512c8891b0c4dca11a4e9e162a Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 17 May 2024 13:33:53 +0200
Subject: Minor additions :)

---
 samples/fun/halting_problem.bruijn | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 samples/fun/halting_problem.bruijn

(limited to 'samples/fun/halting_problem.bruijn')

diff --git a/samples/fun/halting_problem.bruijn b/samples/fun/halting_problem.bruijn
new file mode 100644
index 0000000..dd7e6d6
--- /dev/null
+++ b/samples/fun/halting_problem.bruijn
@@ -0,0 +1,10 @@
+:import std/Logic .
+
+# hypothetical halting decider (shall not loop)
+# assuming (Program Arg) reduces to boolean
+halting [[halts (1 0)]] ⧗ Program → Arg → Boolean
+	halts [0 true false]
+
+# basically y combinator
+# paradox!
+e halting [¬(halting 0 0)] [¬(halting 0 0)]
-- 
cgit v1.2.3