toc.md

---

title: Table of Contents

#1. Introduction ##1.1 About this tutorial ###Step One: Learn Haskell ##1.2 What is Agda, anyway? ###Types are Propositions ##1.3 How do I get started?

#2. Hello, Peano ##2.1 Definitions, Definitions

Hold on a second, types have types?

Structural Induction

##2.2 One, Two... Five! ##2.3 Our First Check

"I have merely proven it correct"

#3. Propositions and Predicates ##3.1 "Logic is the art of going wrong with confidence" ##3.2 How does this all relate to Agda?

Implication

Universal Quantification

Bijection

Serious Proofs

Disjunction

Negation

##3.3 The Curry Howard Correspondence