diff options
| author | Marvin Borner | 2024-05-17 13:33:53 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-05-17 13:33:53 +0200 |
| commit | 8044eb95639d96512c8891b0c4dca11a4e9e162a (patch) | |
| tree | 7f8ed69f92babf4cd9903b2dcac4ed68a8f6a3f6 /samples/fun/halting_problem.bruijn | |
| parent | 99ec17a582ce40c35e9be76415b3a4a6dcff65ae (diff) | |
Minor additions :)
Diffstat (limited to 'samples/fun/halting_problem.bruijn')
| -rw-r--r-- | samples/fun/halting_problem.bruijn | 10 |
1 files changed, 10 insertions, 0 deletions
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)] |