search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

Float lambda application #180

Closed roboguy13 closed 7 years ago

roboguy13 commented 7 years ago

Is there a transformation rule that turns (\x -> (\y -> ...) b) a into (\x -> \y -> ...) a b? I'm introducing two lambdas with abstract calls and getting the former but I ultimately need the latter.

roboguy13 commented 7 years ago

I figured it out: flip the order I make the abstract calls in and, before the second one, set the focus to the first lambda (with appFun).