Jared Corduan JaredCorduan

## CurryHoward.hs
module CurryHoward where


data And a b = And a b

data Or a b = Inl a | Inr b

data Impossible

type Not a = a -> Impossible

## notes.tex
\documentclass{report}

\usepackage{amsthm}

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter]

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}
\newtheorem{exmp}[thm]{Example}

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                JaredCorduan
                / keybase.md
            
            
              Created
              December 9, 2017 19:02
            
          
    Keybase proof

I hereby claim:

I am jaredcorduan on github.
I am jaredc (https://keybase.io/jaredc) on keybase.
I have a public key ASDTfZWjDKVr2r6chl-2jymxVJTLi_HNpPw-jdZt0neBXQo

To claim this, I am signing this object:

  
## jc_blockstack_verif
Verifying that "jaredcorduan.id" is my Blockstack ID. https://onename.com/jaredcorduan

## blockstack_verification
Verifying that "corduan.id" is my Blockstack ID. https://onename.com/corduan

## 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
	module CurryHoward where


	data And a b = And a b

	data Or a b = Inl a \| Inr b

	data Impossible

	type Not a = a -> Impossible
	\documentclass{report}

	\usepackage{amsthm}

	\theoremstyle{plain}
	\newtheorem{thm}{Theorem}[chapter]

	\theoremstyle{definition}
	\newtheorem{defn}[thm]{Definition}
	\newtheorem{exmp}[thm]{Example}
	// Use Gists to store code you would like to remember later on
	console.log(window); // log the "window" object to the console