Church Numerals

Church Encoding of numerals

• https://en.wikipedia.org/wiki/Church_encoding
• http://www.cse.unt.edu/~tarau/teaching/PL/docs/Church%20encoding.pdf

Installation

If available in Hex, the package can be installed by adding church_numerals to your list of dependencies in mix.exs:

def deps do
  [
    {:church_numerals, "~> 0.1.0"}
  ]
end

Documentation can be generated with ExDoc and published on HexDocs. Once published, the docs can be found at https://hexdocs.pm/church_numerals.