CI: GitHub MacOS runners lost ghcup since 2024-04-27, so use haskell-action/setup...
[cabal.git] / AUTHORS
bloba02c318d77b5e52f697ec553d4acf1cb063d4115
1 Abhinav Gupta            <mail@abhinavg.net>
2 Adam Bergmark            <adam@bergmark.nl>
3 Adam C. Foltzer          <acfoltzer@galois.com>
4 Adam Gundry              <adam@well-typed.com>
5 Adam Langley             <agl@imperialviolet.org>
6 Adam Sandberg Eriksson   <adam@sandbergericsson.se>
7 Alan Zimmerman           <alan.zimm@gmail.com>
8 Albert Krewinkel         <tarleb@moltkeplatz.de>
9 Alec Theriault           <alec.theriault@gmail.com>
10 Alex Biehl               <alexbiehl@gmail.com>
11 Alex Hirsch              <w4rh4wk@bluephoenix.at>
12 Alex Lang                <me@alang.ca>
13 Alex Washburn            <github@recursion.ninja>
14 Alexander Kjeldaas       <alexander.kjeldaas@gmail.com>
15 Alexander Vershilov      <alexander.vershilov@gmail.com>
16 Alexei Pastuchov         <alexei.pastuchov@telecolumbus.de>
17 Alexis Williams          <alexis@typedr.at>
18 Alistair Bailey          <alistair@abayley.org>
19 Alp Mestanogullari       <alpmestan@gmail.com>
20 Alson Kemp               <alson@alsonkemp.com>
21 Amir Mohammad Saied      <amirsaied@gmail.com>
22 Anders Kaseorg           <andersk@mit.edu>
23 Andrea Vezzosi           <sanzhiyan@gmail.com>
24 Andreas Klebinger        <klebinger.andreas@gmx.at>
25 Andres Löh               <andres.loeh@gmail.com>
26 Andrzej Rybczak          <electricityispower@gmail.com>
27 Andrés Sicard-Ramírez    <andres.sicard.ramirez@gmail.com>
28 Andy Craze               <accraze@gmail.com>
29 Angus Lepper             <angus.lepper@gmail.com>
30 Antoine Latter           <aslatter@gmail.com>
31 Anton Dessiatov          <anton.dessiatov@gmail.com>
32 Antonio Nikishaev        <a@lelf.me>
33 Arian van Putten         <arian.vanputten@gmail.com>
34 Arun Tejasvi Chaganty    <arunchaganty@gmail.com>
35 Atze Dijkstra            <atze@cs.uu.nl>
36 Audrey Tang              <audreyt@audreyt.org>
37 Auke Booij               <auke@tulcod.com>
38 Austin Seipp             <aseipp@pobox.com>
39 Bardur Arantsson         <bardur@scientician.net>
40 Bartosz Nitka            <bnitka@fb.com>
41 Bas van Dijk             <v.dijk.bas@gmail.com>
42 Ben Armston              <ben.armston@googlemail.com>
43 Ben Doyle                <benjamin.peter.doyle@gmail.com>
44 Ben Gamari               <ben@smart-cactus.org>
45 Ben Millwood             <thebenmachine+git@gmail.com>
46 Benedikt Huber           <benedikt.huber@gmail.com>
47 Benjamin Herr            <ben@0x539.de>
48 Benno Fünfstück          <benno.fuenfstueck@gmail.com>
49 Bertram Felgenhauer      <int-e@gmx.de>
50 Björn Bringert           <bjorn@bringert.net>
51 Björn Peemöller          <bjp@informatik.uni-kiel.de>
52 Bob Ippolito             <bob@redivi.com>
53 Bram Schuur              <bramschuur@gmail.com>
54 Brendan Hay              <brendan.g.hay@gmail.com>
55 Brent Yorgey             <byorgey@gmail.com>
56 Brian Smith              <brianlsmith@gmail.com>
57 Bryan O'Sullivan         <bos@serpentine.com>
58 Bryan Richter            <bryan.richter@gmail.com>
59 Carter Tazio Schonwald   <carter.schonwald@gmail.com>
60 Chaitanya Koparkar       <ckoparkar@gmail.com>
61 Chang Yang Jiao          <jiaochangyang@gmail.com>
62 Chris Allen              <cma@bitemyapp.com>
63 Chris Wong               <lambda.fairy@gmail.com>
64 Christiaan Baaij         <christiaan.baaij@gmail.com>
65 Clemens Fruhwirth        <clemens@endorphin.org>
66 Clint Adams              <clint@debian.org>
67 Colin Wahl               <colin.t.wahl@gmail.com>
68 Conal Elliott            <conal@conal.net>
69 Curtis Gagliardi         <curtis@curtis.io>
70 Dale Wijnand             <344610+dwijnand@users.noreply.github.com>
71 Dan Burton               <danburton.email@gmail.com>
72 Daniel Buckmaster        <dan.buckmaster@gmail.com>
73 Daniel Díaz Carrete      <daniel@bogusemailserver.com>
74 Daniel Gröber            <dxld@darkboxed.org>
75 Daniel Trstenjak         <daniel.trstenjak@gmail.com>
76 Daniel Velkov            <norcobg@gmail.com>
77 Daniel Wagner            <daniel@wagner-home.com>
78 Danny Navarro            <j@dannynavarro.net>
79 Dave Laing               <dave.laing.80@gmail.com>
80 David Eichmann           <EichmannD@gmail.com>
81 David Feuer              <David.Feuer@gmail.com>
82 David Fox                <dsf@seereason.com>
83 David Himmelstrup        <lemmih@gmail.com>
84 David Lazar              <lazar6@illinois.edu>
85 David Luposchainsky      <dluposchainsky@gmail.com>
86 David McFarland          <corngood@gmail.com>
87 David Terei              <davidterei@gmail.com>
88 David Waern              <davve@dtek.chalmers.se>
89 Dennis Gosnell           <cdep.illabout@gmail.com>
90 Dino Morelli             <dino@ui3.info>
91 Dmitry Astapov           <dastapov@gmail.com>
92 Dmitry Kovanikov         <kovanikov@gmail.com>
93 Domen Kožar              <domen@dev.si>
94 Dominic Steinitz         <dominic@steinitz.org>
95 Don Stewart              <dons00@gmail.com>
96 Doug Beardsley           <mightybyte@gmail.com>
97 Douglas Wilson           <douglas.wilson@gmail.com>
98 Duncan Coutts            <duncan@community.haskell.org>
99 Echo Nolan               <echo@echonolan.net>
100 Edsko de Vries           <edsko@well-typed.com>
101 Edward Z. Yang           <ezyang@cs.stanford.edu>
102 Einar Karttunen          <ekarttun@cs.helsinki.fi>
103 Emily Pillmore           <emilypi@cohomolo.gy>
104 Eric Kow                 <eric.kow@gmail.com>
105 Eric Seidel              <gridaphobe@gmail.com>
106 Erik Hesselink           <hesselink@gmail.com>
107 Erik Rantapaa            <erantapaa@gmail.com>
108 Erik de Castro Lopo      <erikd@mega-nerd.com>
109 Esa Ilari Vuokko         <ei@vuokko.info>
110 Eugene Sukhodolin        <eugene@sukhodolin.com>
111 Eyal Lotem               <eyal.lotem@gmail.com>
112 Fabián Orccón            <fabian.orccon@pucp.pe>
113 Fangyi Zhou              <fangyi.zhou15@imperial.ac.uk>
114 Federico Mastellone      <fmaste@users.noreply.github.com>
115 Felix Yan                <felixonmars@archlinux.org>
116 Florian Hartwig          <florian.j.hartwig@gmail.com>
117 Francesco Ariis          <fa-ml@ariis.it>
118 Francesco Gazzetta       <fgaz@fgaz.me>
119 Franz Thoma              <franz.thoma@tngtech.com>
120 Fujimura Daisuke         <me@fujimuradaisuke.com>
121 Gabor Greif              <ggreif@gmail.com>
122 Gabor Pali               <pali.gabor@gmail.com>
123 Ganesh Sittampalam       <ganesh.sittampalam@credit-suisse.com>
124 Geoff Nixon              <geoff-codes@users.noreply.github.com>
125 George Wilson            <george@wils.online>
126 Gershom Bazerman         <gershomb@gmail.com>
127 Getty Ritter             <gdritter@galois.com>
128 Gleb Alexeev             <gleb.alexeev@gmail.com>
129 Gleb Popov               <6yearold@gmail.com>
130 Gregory Collins          <greg@gregorycollins.net>
131 Gwern Branwen            <gwern0@gmail.com>
132 Haisheng.Wu              <freizl@gmail.com>
133 Harrison Houghton        <haro@constant.gripe>
134 Harry Garrood            <harry@garrood.me>
135 Heather                  <heather@live.ru>
136 Henk-Jan van Tuyl        <hjgtuyl@chello.nl>
137 Henning Günther          <der_eq@freenet.de>
138 Henning Thielemann       <lemming@henning-thielemann.de>
139 Herbert Valerio Riedel   <hvr@gnu.org>
140 Iain Nicol               <iain@iainnicol.com>
141 Ian D. Bollinger         <ian.bollinger@gmail.com>
142 Ian Lynagh               <igloo@earth.li>
143 Ian Ross                 <ian@skybluetrades.net>
144 Ilya Smelkov             <triplepointfive@gmail.com>
145 Isaac Potoczny-Jones     <ijones@syntaxpolice.org>
146 Isamu Mogi               <saturday6c@gmail.com>
147 Iustin Pop               <iusty@k1024.org>
148 Ivan Lazar Miljenovic    <Ivan.Miljenovic@gmail.com>
149 Iñaki García Etxebarria  <garetxe@gmail.com>
150 JP Moresmau              <jp@moresmau.fr>
151 Jacco Krijnen            <jaccokrijnen@gmail.com>
152 Jack Henahan             <jhenahan@uvm.edu>
153 Jake Wheat               <jakewheatmail@gmail.com>
154 James Earl Douglas       <james@earldouglas.com>
155 Jan Path                 <jan@jpath.de>
156 Jason Dagit              <dagitj@gmail.com>
157 Jean-Philippe Bernardy   <jeanphilippe.bernardy@gmail.com>
158 Jens Petersen            <juhpetersen@gmail.com>
159 Jeremy Shaw              <jeremy.shaw@linspireinc.com>
160 Jim Burton               <jim@sdf-eu.org>
161 Joachim Breitner         <mail@joachim-breitner.de>
162 Joe Quinn                <headprogrammingczar@gmail.com>
163 Joel Bitrauser           <jo.da@posteo.de>
164 Joel Stanley             <intractable@gmail.com>
165 Joeri van Eekelen        <tchakkazulu@gmail.com>
166 Johan Tibell             <johan.tibell@gmail.com>
167 John Chee                <cheecheeo@gmail.com>
168 John D. Ramsdell         <ramsdell@mitre.org>
169 John Dias                <dias@eecs.harvard.edu>
170 John Ericson             <Ericson2314@yahoo.com>
171 John Lato                <jwlato@tsurucapital.com>
172 John Wiegley             <johnw@fpcomplete.com>
173 Jonathan Daugherty       <jtd@galois.com>
174 Jookia                   <166291@gmail.com>
175 Josef Svenningsson       <josef.svenningsson@gmail.com>
176 Josh Hoyt                <josh.hoyt@galois.com>
177 Josh Kalderimis          <josh.kalderimis@gmail.com>
178 Josh Meredith            <joshmeredith2008@gmail.com>
179 Judah Jacobson           <judah.jacobson@gmail.com>
180 Jürgen Nicklisch-Franken <jnf@arcor.de>
181 Karel Gardas             <karel.gardas@centrum.cz>
182 Keegan McAllister        <mcallister.keegan@gmail.com>
183 Ken Bateman              <novadenizen@gmail.com>
184 Ken Micklas              <kmicklas@gmail.com>
185 Keshav Kini              <kkini@galois.com>
186 Kido Takahiro            <shelarcy@gmail.com>
187 Krasimir Angelov         <kr.angelov@gmail.com>
188 Kristen Kozak            <grayjay@wordroute.com>
189 Lennart Kolmodin         <kolmodin@gmail.com>
190 Lennart Spitzner         <hexagoxel@hexagoxel.de>
191 Leon Isenberg            <ljli@users.noreply.github.com>
192 Leon Schoorl             <l.m.schoorl@student.utwente.nl>
193 Leonid Onokhov           <sopvop@gmail.com>
194 Li-yao Xia               <lysxia@gmail.com>
195 Liyang HU                <git@liyang.hu>
196 Luite Stegeman           <stegeman@gmail.com>
197 Luke Iannini             <lukexi@me.com>
198 M Farkas-Dyck            <strake888@gmail.com>
199 Maciej Bielecki          <maciej.bielecki@skubacz.pl>
200 Maciek Makowski          <maciek.makowski@gmail.com>
201 Magnus Jonsson           <magnus@smartelectronix.com>
202 Malcolm Wallace          <Malcolm.Wallace@me.com>
203 Mark Lentczner           <markl@glyphic.com>
204 Mark Weber               <marco-oweber@gmx.de>
205 Markus Pfeiffer          <markusp@mcs.st-andrews.ac.uk>
206 Martin Sjögren           <msjogren@gmail.com>
207 Martin Vlk               <martin@vlkk.cz>
208 Masahiro Yamauchi        <sgt.yamauchi@gmail.com>
209 Mathieu Boespflug        <mboes@tweag.net>
210 Matt Renaud              <matt@m-renaud.com>
211 Matthew Pickering        <matthewtpickering@gmail.com>
212 Matthew William Cox      <matt@mattcox.ca>
213 Matthias Fischmann       <mf@zerobuzz.net>
214 Matthias Kilian          <kili@outback.escape.de>
215 Matthias Pronk           <git@masida.nl>
216 Max Amanshauser          <max@lambdalifting.org>
217 Max Bolingbroke          <batterseapower@hotmail.com>
218 Maximilian Tagher        <feedback.tagher@gmail.com>
219 Maxwell Swadling         <maxwellswadling@gmail.com>
220 Merijn Verstraaten       <merijn@inconsistent.nl>
221 Michael Sloan            <mgsloan@gmail.com>
222 Michael Snoyman          <michael@snoyman.com>
223 Michael Thompson         <what_is_it_to_do_anything@yahoo.com>
224 Michael Tolly            <miketolly@gmail.com>
225 Mike Craig               <mcraig@groupon.com>
226 Mikhail Glushenkov       <mikhail.glushenkov@gmail.com>
227 Misty De Meo             <mistydemeo@gmail.com>
228 Miëtek Bak               <mietek@bak.io>
229 Mohit Agarwal            <mohit@sdf.org>
230 Moritz Angermann         <moritz.angermann@gmail.com>
231 Moritz Drexl             <mdrexl@fastmail.fm>
232 Moritz Kiefer            <moritz.kiefer@purelyfunctional.org>
233 Nathan Conroy            <nathanconroydev@gmail.com>
234 Nathan Howell            <nhowell@alphaheavy.com>
235 Neil Mitchell            <ndmitchell@gmail.com>
236 Neil Vice                <sardonicpresence@gmail.com>
237 Nick Alexander           <ncalexan@uci.edu>
238 Nick Smallbone           <nick.smallbone@gmail.com>
239 Nikita Karetnikov        <nikita@karetnikov.org>
240 Niklas Broberg           <niklas.broberg@gmail.com>
241 Niklas Hambüchen         <mail@nh2.me>
242 Nikolai Obedin           <dev@nkly.me>
243 Oleg Grenrus             <oleg.grenrus@iki.fi>
244 Oleksandr Manzyuk        <manzyuk@gmail.com>
245 Omar Mefire              <omefire@gmail.com>
246 Owen Stephens            <owen@owenstephens.co.uk>
247 Paolo Capriotti          <p.capriotti@gmail.com>
248 Paolo G. Giarrusso       <p.giarrusso@gmail.com>
249 Paolo Losi               <paolo.losi@gmail.com>
250 Paolo Martini            <paolo@nemail.it>
251 Patrick Chilton          <chpatrick@gmail.com>
252 Patrick Premont          <ppremont@cognimeta.com>
253 Patryk Zadarnowski       <pat@jantar.org>
254 Pepe Iborra              <mnislaih@gmail.com>
255 Peter Higley             <phigley@gmail.com>
256 Peter Robinson           <thaldyron@gmail.com>
257 Peter Selinger           <selinger@mathstat.dal.ca>
258 Peter Simons             <simons@cryp.to>
259 Peter Siska              <siska.pe@gmail.com>
260 Peter Trommler           <ptrommler@acm.org>
261 Peter Trško              <peter.trsko@gmail.com>
262 Phil Ruffwind            <rf@rufflewind.com>
263 Philipp Schumann         <philipp.schumann@gmail.com>
264 Philipp Schuster         <pschuster@uni-koblenz.de>
265 Piyush P Kurur           <ppk@cse.iitk.ac.in>
266 Pranit Bauva             <pranit.bauva@gmail.com>
267 Prayag Verma             <prayag.verma@gmail.com>
268 Randy Polen              <randen@users.noreply.github.com>
269 Reid Barton              <rwbarton@gmail.com>
270 Richard Eisenberg        <eir@cis.upenn.edu>
271 Ricky Elrod              <ricky@elrod.me>
272 Robert Collins           <robertc@robertcollins.net>
273 Robert Henderson         <rob@robjhen.com>
274 Roberto Zunino           <zunrob@users.sf.net>
275 Robin Green              <greenrd@greenrd.org>
276 Robin KAY                <komadori@gekkou.co.uk>
277 Roman Cheplyaka          <roma@ro-che.info>
278 Roman Kashitcyn          <rkashitsyn@rkashitsyn.zrh.corp.google.com>
279 Ross Paterson            <ross@soi.city.ac.uk>
280 Rudy Matela              <rudy@matela.com.br>
281 Ryan Desfosses           <ryan@desfo.org>
282 Ryan Mulligan            <ryan@ryantm.com>
283 Ryan Newton              <rrnewton@gmail.com>
284 Ryan Scott               <ryan.gl.scott@gmail.com>
285 Ryan Trinkle             <ryan.trinkle@gmail.com>
286 RyanGlScott              <ryan.gl.scott@gmail.com>
287 Sam Boosalis             <SamBoosalis@gmail.com>
288 Sam Halliday             <sam.halliday@gmail.com>
289 Samuel Bronson           <naesten@gmail.com>
290 Samuel Gélineau          <gelisam+github@gmail.com>
291 Sergei Trofimovich       <slyfox@community.haskell.org>
292 Sergey Vinokurov         <serg.foo@gmail.com>
293 Sigbjorn Finne           <sof@galois.com>
294 Simon Hengel             <sol@typeful.net>
295 Simon Jakobi             <simon.jakobi@gmail.com>
296 Simon Marlow             <marlowsd@gmail.com>
297 Simon Meier              <iridcode@gmail.com>
298 Simon Peyton Jones       <simonpj@microsoft.com>
299 Spencer Janssen          <sjanssen@cse.unl.edu>
300 Stephen Blackheath       <stephen.blackheath@ipwnstudios.com>
301 Stuart Popejoy           <spopejoy@panix.com>
302 Suzumiya                 <suzumiyasmith@gmail.com>
303 Sven Panne               <sven.panne@aedion.de>
304 Sönke Hahn               <shahn@joyridelabs.de>
305 Takano Akio              <tak@anoak.io>
306 Takenobu Tani            <takenobu.hs@gmail.com>
307 Tamar Christina          <tamar@zhox.com>
308 Taru Karttunen           <taruti@taruti.net>
309 Taylor Fausak            <taylor.fausak@verizonwireless.com>
310 Thomas Dziedzic          <gostrc@gmail.com>
311 Thomas M. DuBuisson      <thomas.dubuisson@gmail.com>
312 Thomas Miedema           <thomasmiedema@gmail.com>
313 Thomas Schilling         <nominolo@gmail.com>
314 Thomas Tuegel            <ttuegel@gmail.com>
315 Tillmann Rendel          <rendel@informatik.uni-marburg.de>
316 Tim Chevalier            <chevalier@alum.wellesley.edu>
317 Tim Humphries            <tim.humphries@ambiata.com>
318 Tim McGilchrist          <timmcgil@gmail.com>
319 Tomas Vestelind          <tomas.vestelind@gmail.com>
320 Toon Nolten              <toonn@toonn.io>
321 Toshio Ito               <debug.ito@gmail.com>
322 Travis Cardwell          <travis.cardwell@extellisys.com>
323 Travis Whitaker          <pi.boy.travis@gmail.com>
324 Tseen She                <ts33n.sh3@gmail.com>
325 Tuncer Ayaz              <tuncer.ayaz@gmail.com>
326 Vaibhav Sagar            <vaibhavsagar@gmail.com>
327 Vanessa McHale           <vanessa.mchale@iohk.io>
328 Veronika Romashkina      <vrom911@gmail.com>
329 Vincent Hanquez          <vincent@snarc.org>
330 Vladislav Zavialov       <vlad.z.4096@gmail.com>
331 Vo Minh Thu              <noteed@gmail.com>
332 Wasif Hasan Baig         <pr.wasif@gmail.com>
333 Wojciech Danilo          <wojtek.danilo@gmail.com>
334 Yitzchak Gale            <gale@sefer.org>
335 Yuras Shumovich          <shumovichy@gmail.com>
336 Yuriy Syrovetskiy        <cblp@cblp.su>
337 Zejun Wu                 <zejun.wu@gmail.com>
338 capsjac                  <capsjac@gmail.com>
339 codetriage-readme-bot    <schneemanbuys@gmail.com>
340 fendor                   <power.walross@gmail.com>
341 ghthrowaway7             <41365123+ghthrowaway7@users.noreply.github.com>
342 quasicomputational       <quasicomputational@gmail.com>
343 vedksah                  <31156362+vedksah@users.noreply.github.com>
344 Łukasz Dąbek             <sznurek@gmail.com>