guricerin

Keybase proof

I hereby claim:

• I am guricerin on github.
• I am guricerin (https://keybase.io/guricerin) on keybase.
• I have a public key ASD89nJXpZsguw0eib4jafetJntdC6vE--5ubbJkMVAbEgo

To claim this, I am signing this object:

guricerin

let puts a = printfn "%A" a

type Church =
    | Zero
    | Succ of Church

let inc c = Succ c

let dec =
    function