marinalimeira/apply.md

Created December 30, 2017 14:33

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/marinalimeira/2fb29e886e5286f5a3ddba3f4490fee4.js"></script>
Save marinalimeira/2fb29e886e5286f5a3ddba3f4490fee4 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

((apply identity) λy.y) ==

((λfunc.λarg.(func arg) λx.x) λy.y) =>

(λarg.(λx.x arg) λy.y) =>

(identity λy.y) =>

λy.y

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment