The Agda II implementation. Haddock documentation.
