FRESH
Hacker News
Home
Charity – Categorical programming language (1998)
30 points by matteodelabre
by lgas
0 subcomment
It looks like what you would get if python and ocaml had a baby.
by dlahoda
1 subcomments
"All Charity computations terminate" - Turing decidable it was.