The Agda II implementation. Haddock documentation.