Reorganization.
Added Agda examples.
Added README.md for the notes.
Added missing file
Added mutual recursive functions example.
Added agda2atp test for the notes.
Renamed a target rule.
--amend
Added extension .java to fix-whitespace.
Fixed doc.
Removed nil.
Added note on ordinals.
Renamed some constructors.
Agda's positive checker is looking for occurrences in the indexes.
Support for GHC 7.6.1.
Added benchmark with GHC 7.6.1.
Updated note on the induction principle for N.
Removed proof term.
Cosmetic changes.
Added Even→N.