========================================================
|  Agda has moved to GitHub!                           |
|                                                      |
|  This repository is no longer actively maintained.   |
|  To get the latest version of Agda go to             |
|     https://github.com/agda/agda                     |
|  or do                                               |
|     git clone https://github.com/agda/agda.git       |
========================================================