by jessup on 11/17/15, 1:18 AM with 2 comments
by andrew-lucker on 11/17/15, 3:59 AM
"All total functions are recursively enumerable"