[Parameterised top-level module on Id (instead of every individual module).
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20080304230431] hunk ./Wand.agda 15
+         -- The type used for identifiers.
+         (Id : Set)
hunk ./Wand.agda 31
-module Language (Id : Set) where
+module Language where
hunk ./Wand.agda 59
-module Step₁ {Id : Set} where
+module Step₁ where
hunk ./Wand.agda 61
-  open Language Id
+  open Language
hunk ./Wand.agda 123
-module Step₂ {Id : Set} where
+module Step₂ where
hunk ./Wand.agda 125
-  open Language Id
+  open Language