shotaro-ikeguchi guricerin

## keybase.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                guricerin
                / keybase.md
            
            
              Created
              November 19, 2022 03:01
            
          
    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:

  
## Church.fsx
let puts a = printfn "%A" a

type Church =
    | Zero
    | Succ of Church

let inc c = Succ c

let dec =
    function
	let puts a = printfn "%A" a

	type Church =
	\| Zero
	\| Succ of Church

	let inc c = Succ c

	let dec =
	function