clairvy · August 30, 2010 06:55
diff --git a/Church.scala b/Church.scala
 object Main extends Application {
  println("zero: " + zero(0)(i => i +1))
  println("one: " + succ[Int](zero)(0)(i => i + 1))

  def zero[A](i : A) = (f : A => A) => i
  def succ[A](n : A=>(A=>A)=>A) = (i:A)=>(f:A=>A)=>f(n(i)(f))
 }
	object Main extends Application {
	println("zero: " + zero(0)(i => i +1))
	println("one: " + succ[Int](zero)(0)(i => i + 1))

	def zero[A](i : A) = (f : A => A) => i
	def succ[A](n : A=>(A=>A)=>A) = (i:A)=>(f:A=>A)=>f(n(i)(f))
	}