I am new to lambda开发者_如何学C calculus and struggling to prove the following. SKK and II are beta equivalent.
this is a homework but I just cannot get my head around this whole business with writing formal prooves. Could an开发者_JAVA技巧yone crack this and write formal proof for postcondition of this fnc:
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
加载中,请稍侯......