[Added comment.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20080312210935] hunk ./SimplyTyped/Environment.agda 4
+
+-- This module could be replaced with Data.Star.Environment from the
+-- standard libraries, but I don't want to depend too much on external
+-- libraries in this development.