Is there an OCaml function for eta reduction, i.e. to go from fun x y z => <term> x y z
to <term>
?
@Janno Termops.eta_reduce_head
is probably what you are looking for.
Thanks! Not sure how I missed that one. It even has an intuitive name :)
Last updated: Jun 05 2023 at 09:01 UTC