Siddhartha Gadgil siddhartha-gadgil

## bool.agda
data Bool : Set where
  True : Bool
  False: Bool

not : Bool → Bool
not True = False
not False = True

_&_ : Bool → Bool → Bool
True & True = True

## 0_reuse_code.js
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console

## BoolType.agda
data Bool : Set where
  true   : Bool
  false  : Bool


## not.agda
not : Bool -> Bool
not true = false
not false = true

## and.agda
_&_ : Bool → Bool → Bool
true & true = true
false & _ = false
true & false = false

## notnot.agda
notnot : Bool -> Bool
notnot x = not (not x)

## verytrue.agda
verytrue : Bool → Bool
verytrue = λ x → x & x

## xor.agda
_xor_ : Bool → Bool → Bool
_xor_ = λ x y → (x & (not y)) || ((not x) & y)

## Nat.agda
data ℕ : Set where
  zero : ℕ
  succ : ℕ → ℕ

## add.agda
_+_ : ℕ → ℕ → ℕ
zero + n = n
(succ m) + n = succ (m + n)
	data Bool : Set where
	True : Bool
	False: Bool

	not : Bool → Bool
	not True = False
	not False = True

	_&_ : Bool → Bool → Bool
	True & True = True
	// Use Gists to store code you would like to remember later on
	console.log(window); // log the "window" object to the console
	_&_ : Bool → Bool → Bool
	true & true = true
	false & _ = false
	true & false = false
	_xor_ : Bool → Bool → Bool
	_xor_ = λ x y → (x & (not y)) \|\| ((not x) & y)
	_+_ : ℕ → ℕ → ℕ
	zero + n = n
	(succ m) + n = succ (m + n)