Stuart Gaλe bishboria

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bishboria
                / keybase.md
            
            
              Created
              September 24, 2014 13:19
            
              
                keybase
              
          
    Keybase proof

I hereby claim:

I am bishboria on github.
I am bishboria (https://keybase.io/bishboria) on keybase.
I have a public key whose fingerprint is 4243 FB55 3364 0BE8 D08E  876F 078A 4BBA 842F C1A0

To claim this, I am signing this object:

  
## SingleCaseInduction.agda
module SingleCaseInduction where

-- Usual definition of ℕ
data N : Set where
  z : N
  s : N → N


-- Single case definition of ℕ
data _+_ (A : Set) (B : Set) : Set where
	module SingleCaseInduction where

	-- Usual definition of ℕ
	data N : Set where
	z : N
	s : N → N


	-- Single case definition of ℕ
	data _+_ (A : Set) (B : Set) : Set where