Lambda calculus, question Show more
Wikipedia page on Scott encoding : https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding
and on Church encoding : https://en.wikipedia.org/wiki/Church_encoding
Why is this step necessary? functional.cafe might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here