------------------------------------------------------------------------

  The Agda standard library
  -------------------------

  This is an old repository, which has been replaced by
  https://github.com/agda/agda-stdlib/.

------------------------------------------------------------------------