User blog comment:MilkyWay90/The Function with a Programming Language/@comment-32697988-20181108010427/@comment-31966679-20181109153104

Oh. I'll try putting in a formal definition soon.