HN Explorer

2 comments

[ 2.9 ms ] story [ 19.1 ms ] thread
dlahoda
"All Charity computations terminate" - Turing decidable it was.
lgas
It looks like what you would get if python and ocaml had a baby.