Skip to content

Instantly share code, notes, and snippets.

@Mizzlr

Mizzlr/ChurchEncodings.py

Created June 16, 2016 08:57
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save Mizzlr/9c289384734310814db0b5d0cbe62332 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save Mizzlr/9c289384734310814db0b5d0cbe62332 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ChurchEncodings.py
# The above functions in python
NULL = lambda x: x
TRUE = lambda onTrue: lambda onFalse: onTrue
FALSE = lambda onTrue: lambda onFalse: onFalse
IF = lambda test: lambda onTrue: lambda onFalse: test(onTrue)(onFalse)
AND = lambda bool1: lambda bool2: bool1(bool2)(bool1)
OR = lambda bool1: lambda bool2: bool1(bool1)(bool2)
NOT = lambda booly: booly(FALSE)(TRUE)
# Very readable and terse indeed!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment