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