\ p1 ... pn -> e = \ x1 ... xn -> case (x1, ... , xn) of (p1, ... , pn) -> e
(\True y -> ()) False ~> (\x1 x2 -> case (x1,x2) of (True,y) -> ()) False ~> \x2 -> case (False,x2) of (True,y) -> ()
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2015-10-02 05:35 pm (UTC)то есть
Ну может переменная y и не переименовывается, но это уж точно неважно.