diff options
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)] |