blob: dd7e6d63aa542d2ec25f756732c191a59c5dc414 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
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)]
|
