[Clarified the status of the Semantics module.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20090926124103
 Ignore-this: 86e8379c7a40659af5044a5763ddd878
] hunk ./README.agda 46
--- Semantics.
+-- Semantics (not used for anything).