Talk:Function-level programming
Appearance
What would be an example of a function-level definition which is not the lifted image of a value-level one?
What would be an example of a function-level definition which is not the lifted image of a value-level one?