HN Explorer

2 comments

[ 8.0 ms ] story [ 21.9 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.