|
IO :: (State# RealWorld -> (# State# RealWorld, a #)) -> IO a
|
# ¿ Dec 9, 2019 21:20 |
|
|
# ¿ May 11, 2024 11:04 |
|
the function that halts if its input program would loop infinitely, but loops infinitely if its input would halt
|
# ¿ Dec 14, 2019 15:27 |