Stefan Saasen juretta

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                juretta
                / keybase.md
            
            
              Created
              May 17, 2014 05:27
            
          
    Keybase proof

I hereby claim:

I am juretta on github.
I am sts (https://keybase.io/sts) on keybase.
I have a public key whose fingerprint is E251 A238 C6F4 E79C BA6C  A4CB 1D04 C854 D612 4057

To claim this, I am signing this object:

  
## church-numerals.hs
{-# Language RecordWildCards, RankNTypes #-}
import Data.List (foldl')

data Church = Church (forall x. (x -> x) -> x -> x)

zero :: Church
zero = Church (\f x -> x)

succ_ :: Church -> Church
succ_ (Church n) = Church (\f x -> f ( n f x))
	{-# Language RecordWildCards, RankNTypes #-}
	import Data.List (foldl')

	data Church = Church (forall x. (x -> x) -> x -> x)

	zero :: Church
	zero = Church (\f x -> x)

	succ_ :: Church -> Church
	succ_ (Church n) = Church (\f x -> f ( n f x))