Church encoding

Some example code in Java and Haskell showing Church encoding of various structures, and some common operations.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
CList.java		CList.java
ChurchBool.hs		ChurchBool.hs
ChurchList.hs		ChurchList.hs
ChurchNat.hs		ChurchNat.hs
PeanoNat.hs		PeanoNat.hs
README.md		README.md
Setup.hs		Setup.hs
church.cabal		church.cabal

Provide feedback