[Improved the documentation.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090926123201
 Ignore-this: 6b1ea9c82a426886ada7a31c1c3d4237
] {
move ./Everything.agda ./README.agda
hunk ./README.agda 2
--- Imports all the files
+-- Normalisation for the simply typed λ-calculus
hunk ./README.agda 5
-module Everything where
+module README where
hunk ./README.agda 7
--- The files are listed in dependency order.
+------------------------------------------------------------------------
+-- Using de Bruijn indices
hunk ./README.agda 51
+------------------------------------------------------------------------
+-- Using PHOAS
+
}