James Chapman jmchapman

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                jmchapman
                / keybase.md
            
            
              Created
              July 14, 2017 14:01
            
          
    Keybase proof

I hereby claim:

I am jmchapman on github.
I am jmchapman (https://keybase.io/jmchapman) on keybase.
I have a public key ASAwCpkx877cthVn_DjmKwouY8nqUlX00GiQPWwwcP7V1go

To claim this, I am signing this object:

  
## Groups.agda
{-# OPTIONS --type-in-type #-}
module _ where

open import Relation.Binary.HeterogeneousEquality
open ≅-Reasoning renaming (begin_ to proof_)
open import Function

record Group : Set₁ where
  field G    : Set
        e    : G
	{-# OPTIONS --type-in-type #-}
	module _ where

	open import Relation.Binary.HeterogeneousEquality
	open ≅-Reasoning renaming (begin_ to proof_)
	open import Function

	record Group : Set₁ where
	field G : Set
	e : G