agda/agda-stdlib Watchers
- 1-p
- Arjen Jonathanajrouvoet
- Anders HellströmAndersH3
- Mark Armstrongarmkeh
- Art ScottArt
- lilithbottomtype
- cjenkin2
- cutsea110cutsea110
- Dominique Devriesedominiquedevriese
- eemailme
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- G. Allaisgallais
- Jason HuHuStmpHrrr
- Jacques CaretteJacquesCarette
- James Cloosjhcloos
- jwaldmann
- Liyang HUliyang
- Martin Stone Davism0davis
- MatthewDaggitt
- Mathieu Montinmmontin
- Alexander Ben Nasrallahneosimsim
- Nuo Linzl-nott
- Andrea VezzosiSaizan
- Sean P. Myrick V19.1.7.2seanpm2001
- Iansubttle
- Nathan van DoornTaneb
- Wolfram KahlWolframKahl
- Bay Raktarzraffer