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.
Renamed a couple of functions.
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.