[CakeML-dev] Partial applications in CF

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Thu Mar 9 02:52:57 UTC 2017

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?


More information about the Developers mailing list