agda/agda2hs Watchers
- Arjen Jonathanajrouvoet
- Dominique Devriesedominiquedevriese
- EdEDT4
- eemailme
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- Jason HuHuStmpHrrr
- Jacques CaretteJacquesCarette
- Jesper Cockxjespercockx
- Andres Ojamaajexek
- James Cloosjhcloos
- Liang-Ting ChenL-TChen
- MJGmarcinjangrzybowski
- MatthewDaggitt
- Orestis Melkonianomelkonian
- herminiepnlph
- Sean P. Myrick V19.1.7.2seanpm2001
- Tarık Özkanlıtarikozkanli
- Ulf NorellUlfNorell
- Wolfram KahlWolframKahl