[Renamed the first attempt at following Danvy et al.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20080312223027] move ./Danvy.agda ./DanvyFirstAttempt.agda
hunk ./DanvyFirstAttempt.agda 7
--- Not finished.
+-- This is a first attempt, which did not lead anywhere.
hunk ./DanvyFirstAttempt.agda 9
-module Danvy where
+module DanvyFirstAttempt where