[CakeML-dev] Partial applications in CF

[Ramana Kumar]

Hi Armaël, Magnus, developers,

Do you know how to use CF for partial applications of
translator-verified functions? It seems that app_of_Arrow_rule always
produces an app spec with the maximum number of arguments applied. Is
it possible to use this app spec (with xapp) in a situation where
only, say, the first out of two arguments has been applied?

If that is not possible, what is a good workaround? Do I need to
define a new function for every partial application?

Cheers,
Ramana