Skip to content
Snippets Groups Projects
Unverified Commit b0e52fa1 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Update AUTHORS. [ci skip]

parent e91d2ec5
Branches
Tags
No related merge requests found
...@@ -20,6 +20,7 @@ Andres Löh <andres.loeh@gmail.com> <andres@well ...@@ -20,6 +20,7 @@ Andres Löh <andres.loeh@gmail.com> <andres@well
Andres Löh <andres.loeh@gmail.com> <ksgithub@andres-loeh.de> Andres Löh <andres.loeh@gmail.com> <ksgithub@andres-loeh.de>
Andres Löh <andres.loeh@gmail.com> <mail@andres-loeh.de> Andres Löh <andres.loeh@gmail.com> <mail@andres-loeh.de>
Andy Craze <accraze@gmail.com> Andy Craze <accraze@gmail.com>
Arian van Putten <arian.vanputten@gmail.com> <aeroboy94@gmail.com>
Audrey Tang <audreyt@audreyt.org> audreyt <audreyt@audreyt.org> Audrey Tang <audreyt@audreyt.org> audreyt <audreyt@audreyt.org>
Austin Seipp <aseipp@pobox.com> Austin Seipp <aseipp@pobox.com>
Austin Seipp <aseipp@pobox.com> <aseipp@well-typed.com> Austin Seipp <aseipp@pobox.com> <aseipp@well-typed.com>
...@@ -57,6 +58,7 @@ Duncan Coutts <duncan@community.haskell.org> unknown <unkn ...@@ -57,6 +58,7 @@ Duncan Coutts <duncan@community.haskell.org> unknown <unkn
Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@fb.com> Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@fb.com>
Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@mit.edu> Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@mit.edu>
Einar Karttunen <ekarttun@cs.helsinki.fi> Einar Karttunen <ekarttun@cs.helsinki.fi>
Emily Pillmore <emilypi@cohomolo.gy> <emily@kadena.io>
Federico Mastellone <fmaste@users.noreply.github.com> Federico Mastellone <fmaste@users.noreply.github.com>
Felix Yan <felixonmars@archlinux.org> Felix Yan <felixonmars@gmail.com> Felix Yan <felixonmars@archlinux.org> Felix Yan <felixonmars@gmail.com>
Francesco Gazzetta <fgaz@fgaz.me> <fgaz@users.noreply.github.com> Francesco Gazzetta <fgaz@fgaz.me> <fgaz@users.noreply.github.com>
...@@ -117,6 +119,7 @@ Li-yao Xia <lysxia@gmail.com> ...@@ -117,6 +119,7 @@ Li-yao Xia <lysxia@gmail.com>
Malcolm Wallace <Malcolm.Wallace@me.com> Malcolm.Wallace <Malcolm.Wallace@cs.york.ac.uk> Malcolm Wallace <Malcolm.Wallace@me.com> Malcolm.Wallace <Malcolm.Wallace@cs.york.ac.uk>
Mark Weber <marco-oweber@gmx.de> marco-oweber <marco-oweber@gmx.de> Mark Weber <marco-oweber@gmx.de> marco-oweber <marco-oweber@gmx.de>
Martin Sjögren <msjogren@gmail.com> md9ms <md9ms@mdstud.chalmers.se> Martin Sjögren <msjogren@gmail.com> md9ms <md9ms@mdstud.chalmers.se>
Matt Renaud <matt@m-renaud.com> <mrenaud@google.com>
Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <c05mgv@cs.umu.se> Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <c05mgv@cs.umu.se>
Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <mikhail@scrive.com> Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <mikhail@scrive.com>
Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <the.dead.shall.rise@gmail.com> Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <the.dead.shall.rise@gmail.com>
...@@ -156,8 +159,8 @@ Thomas Tuegel <ttuegel@gmail.com> ...@@ -156,8 +159,8 @@ Thomas Tuegel <ttuegel@gmail.com>
Thomas Tuegel <ttuegel@gmail.com> <ttuegel@mailbox.org> Thomas Tuegel <ttuegel@gmail.com> <ttuegel@mailbox.org>
Thomas Tuegel <ttuegel@gmail.com> <ttuegel@secure.mailbox.org> Thomas Tuegel <ttuegel@gmail.com> <ttuegel@secure.mailbox.org>
Veronika Romashkina <vrom911@gmail.com> Veronika Romashkina <vrom911@gmail.com>
Zejun Wu <zejun.wu@gmail.com> <watashi@watashi.ws>
capsjac <capsjac@gmail.com> # Goes by that name online capsjac <capsjac@gmail.com> # Goes by that name online
ghthrowaway7 <41365123+ghthrowaway7@users.noreply.github.com> # Goes by that name online ghthrowaway7 <41365123+ghthrowaway7@users.noreply.github.com> # Goes by that name online
quasicomputational <quasicomputational@gmail.com> # Goes by that name online quasicomputational <quasicomputational@gmail.com> # Goes by that name online
vedksah <31156362+vedksah@users.noreply.github.com> # Goes by that name online vedksah <31156362+vedksah@users.noreply.github.com> # Goes by that name online
!
...@@ -16,6 +16,7 @@ Alexander Vershilov <alexander.vershilov@gmail.com> ...@@ -16,6 +16,7 @@ Alexander Vershilov <alexander.vershilov@gmail.com>
Alexei Pastuchov <alexei.pastuchov@telecolumbus.de> Alexei Pastuchov <alexei.pastuchov@telecolumbus.de>
Alexis Williams <alexis@typedr.at> Alexis Williams <alexis@typedr.at>
Alistair Bailey <alistair@abayley.org> Alistair Bailey <alistair@abayley.org>
Alp Mestanogullari <alpmestan@gmail.com>
Alson Kemp <alson@alsonkemp.com> Alson Kemp <alson@alsonkemp.com>
Amir Mohammad Saied <amirsaied@gmail.com> Amir Mohammad Saied <amirsaied@gmail.com>
Anders Kaseorg <andersk@mit.edu> Anders Kaseorg <andersk@mit.edu>
...@@ -29,7 +30,7 @@ Angus Lepper <angus.lepper@gmail.com> ...@@ -29,7 +30,7 @@ Angus Lepper <angus.lepper@gmail.com>
Antoine Latter <aslatter@gmail.com> Antoine Latter <aslatter@gmail.com>
Anton Dessiatov <anton.dessiatov@gmail.com> Anton Dessiatov <anton.dessiatov@gmail.com>
Antonio Nikishaev <a@lelf.me> Antonio Nikishaev <a@lelf.me>
Arian van Putten <aeroboy94@gmail.com> Arian van Putten <arian.vanputten@gmail.com>
Arun Tejasvi Chaganty <arunchaganty@gmail.com> Arun Tejasvi Chaganty <arunchaganty@gmail.com>
Atze Dijkstra <atze@cs.uu.nl> Atze Dijkstra <atze@cs.uu.nl>
Audrey Tang <audreyt@audreyt.org> Audrey Tang <audreyt@audreyt.org>
...@@ -66,6 +67,7 @@ Clint Adams <clint@debian.org> ...@@ -66,6 +67,7 @@ Clint Adams <clint@debian.org>
Colin Wahl <colin.t.wahl@gmail.com> Colin Wahl <colin.t.wahl@gmail.com>
Conal Elliott <conal@conal.net> Conal Elliott <conal@conal.net>
Curtis Gagliardi <curtis@curtis.io> Curtis Gagliardi <curtis@curtis.io>
Dale Wijnand <344610+dwijnand@users.noreply.github.com>
Dan Burton <danburton.email@gmail.com> Dan Burton <danburton.email@gmail.com>
Daniel Buckmaster <dan.buckmaster@gmail.com> Daniel Buckmaster <dan.buckmaster@gmail.com>
Daniel Díaz Carrete <daniel@bogusemailserver.com> Daniel Díaz Carrete <daniel@bogusemailserver.com>
...@@ -75,6 +77,7 @@ Daniel Velkov <norcobg@gmail.com> ...@@ -75,6 +77,7 @@ Daniel Velkov <norcobg@gmail.com>
Daniel Wagner <daniel@wagner-home.com> Daniel Wagner <daniel@wagner-home.com>
Danny Navarro <j@dannynavarro.net> Danny Navarro <j@dannynavarro.net>
Dave Laing <dave.laing.80@gmail.com> Dave Laing <dave.laing.80@gmail.com>
David Eichmann <EichmannD@gmail.com>
David Feuer <David.Feuer@gmail.com> David Feuer <David.Feuer@gmail.com>
David Fox <dsf@seereason.com> David Fox <dsf@seereason.com>
David Himmelstrup <lemmih@gmail.com> David Himmelstrup <lemmih@gmail.com>
...@@ -97,6 +100,7 @@ Echo Nolan <echo@echonolan.net> ...@@ -97,6 +100,7 @@ Echo Nolan <echo@echonolan.net>
Edsko de Vries <edsko@well-typed.com> Edsko de Vries <edsko@well-typed.com>
Edward Z. Yang <ezyang@cs.stanford.edu> Edward Z. Yang <ezyang@cs.stanford.edu>
Einar Karttunen <ekarttun@cs.helsinki.fi> Einar Karttunen <ekarttun@cs.helsinki.fi>
Emily Pillmore <emilypi@cohomolo.gy>
Eric Kow <eric.kow@gmail.com> Eric Kow <eric.kow@gmail.com>
Eric Seidel <gridaphobe@gmail.com> Eric Seidel <gridaphobe@gmail.com>
Erik Hesselink <hesselink@gmail.com> Erik Hesselink <hesselink@gmail.com>
...@@ -106,6 +110,7 @@ Esa Ilari Vuokko <ei@vuokko.info> ...@@ -106,6 +110,7 @@ Esa Ilari Vuokko <ei@vuokko.info>
Eugene Sukhodolin <eugene@sukhodolin.com> Eugene Sukhodolin <eugene@sukhodolin.com>
Eyal Lotem <eyal.lotem@gmail.com> Eyal Lotem <eyal.lotem@gmail.com>
Fabián Orccón <fabian.orccon@pucp.pe> Fabián Orccón <fabian.orccon@pucp.pe>
Fangyi Zhou <fangyi.zhou15@imperial.ac.uk>
Federico Mastellone <fmaste@users.noreply.github.com> Federico Mastellone <fmaste@users.noreply.github.com>
Felix Yan <felixonmars@archlinux.org> Felix Yan <felixonmars@archlinux.org>
Florian Hartwig <florian.j.hartwig@gmail.com> Florian Hartwig <florian.j.hartwig@gmail.com>
...@@ -125,6 +130,7 @@ Gleb Popov <6yearold@gmail.com> ...@@ -125,6 +130,7 @@ Gleb Popov <6yearold@gmail.com>
Gregory Collins <greg@gregorycollins.net> Gregory Collins <greg@gregorycollins.net>
Gwern Branwen <gwern0@gmail.com> Gwern Branwen <gwern0@gmail.com>
Haisheng.Wu <freizl@gmail.com> Haisheng.Wu <freizl@gmail.com>
Harrison Houghton <haro@constant.gripe>
Harry Garrood <harry@garrood.me> Harry Garrood <harry@garrood.me>
Heather <heather@live.ru> Heather <heather@live.ru>
Henk-Jan van Tuyl <hjgtuyl@chello.nl> Henk-Jan van Tuyl <hjgtuyl@chello.nl>
...@@ -145,6 +151,7 @@ JP Moresmau <jp@moresmau.fr> ...@@ -145,6 +151,7 @@ JP Moresmau <jp@moresmau.fr>
Jacco Krijnen <jaccokrijnen@gmail.com> Jacco Krijnen <jaccokrijnen@gmail.com>
Jack Henahan <jhenahan@uvm.edu> Jack Henahan <jhenahan@uvm.edu>
Jake Wheat <jakewheatmail@gmail.com> Jake Wheat <jakewheatmail@gmail.com>
James Earl Douglas <james@earldouglas.com>
Jan Path <jan@jpath.de> Jan Path <jan@jpath.de>
Jason Dagit <dagitj@gmail.com> Jason Dagit <dagitj@gmail.com>
Jean-Philippe Bernardy <jeanphilippe.bernardy@gmail.com> Jean-Philippe Bernardy <jeanphilippe.bernardy@gmail.com>
...@@ -168,6 +175,7 @@ Jookia <166291@gmail.com> ...@@ -168,6 +175,7 @@ Jookia <166291@gmail.com>
Josef Svenningsson <josef.svenningsson@gmail.com> Josef Svenningsson <josef.svenningsson@gmail.com>
Josh Hoyt <josh.hoyt@galois.com> Josh Hoyt <josh.hoyt@galois.com>
Josh Kalderimis <josh.kalderimis@gmail.com> Josh Kalderimis <josh.kalderimis@gmail.com>
Josh Meredith <joshmeredith2008@gmail.com>
Judah Jacobson <judah.jacobson@gmail.com> Judah Jacobson <judah.jacobson@gmail.com>
Jürgen Nicklisch-Franken <jnf@arcor.de> Jürgen Nicklisch-Franken <jnf@arcor.de>
Karel Gardas <karel.gardas@centrum.cz> Karel Gardas <karel.gardas@centrum.cz>
...@@ -200,6 +208,7 @@ Martin Vlk <martin@vlkk.cz> ...@@ -200,6 +208,7 @@ Martin Vlk <martin@vlkk.cz>
Masahiro Yamauchi <sgt.yamauchi@gmail.com> Masahiro Yamauchi <sgt.yamauchi@gmail.com>
Mathieu Boespflug <mboes@tweag.net> Mathieu Boespflug <mboes@tweag.net>
Matt Renaud <matt@m-renaud.com> Matt Renaud <matt@m-renaud.com>
Matthew Pickering <matthewtpickering@gmail.com>
Matthew William Cox <matt@mattcox.ca> Matthew William Cox <matt@mattcox.ca>
Matthias Fischmann <mf@zerobuzz.net> Matthias Fischmann <mf@zerobuzz.net>
Matthias Kilian <kili@outback.escape.de> Matthias Kilian <kili@outback.escape.de>
...@@ -253,6 +262,7 @@ Peter Trško <peter.trsko@gmail.com> ...@@ -253,6 +262,7 @@ Peter Trško <peter.trsko@gmail.com>
Phil Ruffwind <rf@rufflewind.com> Phil Ruffwind <rf@rufflewind.com>
Philipp Schumann <philipp.schumann@gmail.com> Philipp Schumann <philipp.schumann@gmail.com>
Philipp Schuster <pschuster@uni-koblenz.de> Philipp Schuster <pschuster@uni-koblenz.de>
Piyush P Kurur <ppk@cse.iitk.ac.in>
Pranit Bauva <pranit.bauva@gmail.com> Pranit Bauva <pranit.bauva@gmail.com>
Prayag Verma <prayag.verma@gmail.com> Prayag Verma <prayag.verma@gmail.com>
Randy Polen <randen@users.noreply.github.com> Randy Polen <randen@users.noreply.github.com>
...@@ -274,6 +284,8 @@ Ryan Newton <rrnewton@gmail.com> ...@@ -274,6 +284,8 @@ Ryan Newton <rrnewton@gmail.com>
Ryan Scott <ryan.gl.scott@gmail.com> Ryan Scott <ryan.gl.scott@gmail.com>
Ryan Trinkle <ryan.trinkle@gmail.com> Ryan Trinkle <ryan.trinkle@gmail.com>
RyanGlScott <ryan.gl.scott@gmail.com> RyanGlScott <ryan.gl.scott@gmail.com>
Sam Boosalis <SamBoosalis@gmail.com>
Sam Halliday <sam.halliday@gmail.com>
Samuel Bronson <naesten@gmail.com> Samuel Bronson <naesten@gmail.com>
Samuel Gélineau <gelisam+github@gmail.com> Samuel Gélineau <gelisam+github@gmail.com>
Sergei Trofimovich <slyfox@community.haskell.org> Sergei Trofimovich <slyfox@community.haskell.org>
...@@ -305,21 +317,27 @@ Tim Chevalier <chevalier@alum.wellesley.edu> ...@@ -305,21 +317,27 @@ Tim Chevalier <chevalier@alum.wellesley.edu>
Tim Humphries <tim.humphries@ambiata.com> Tim Humphries <tim.humphries@ambiata.com>
Tim McGilchrist <timmcgil@gmail.com> Tim McGilchrist <timmcgil@gmail.com>
Tomas Vestelind <tomas.vestelind@gmail.com> Tomas Vestelind <tomas.vestelind@gmail.com>
Toon Nolten <toonn@toonn.io>
Toshio Ito <debug.ito@gmail.com> Toshio Ito <debug.ito@gmail.com>
Travis Cardwell <travis.cardwell@extellisys.com> Travis Cardwell <travis.cardwell@extellisys.com>
Travis Whitaker <pi.boy.travis@gmail.com> Travis Whitaker <pi.boy.travis@gmail.com>
Tseen She <ts33n.sh3@gmail.com>
Tuncer Ayaz <tuncer.ayaz@gmail.com> Tuncer Ayaz <tuncer.ayaz@gmail.com>
Vaibhav Sagar <vaibhavsagar@gmail.com> Vaibhav Sagar <vaibhavsagar@gmail.com>
Vanessa McHale <vanessa.mchale@iohk.io>
Veronika Romashkina <vrom911@gmail.com> Veronika Romashkina <vrom911@gmail.com>
Vincent Hanquez <vincent@snarc.org> Vincent Hanquez <vincent@snarc.org>
Vladislav Zavialov <vlad.z.4096@gmail.com> Vladislav Zavialov <vlad.z.4096@gmail.com>
Vo Minh Thu <noteed@gmail.com> Vo Minh Thu <noteed@gmail.com>
Wasif Hasan Baig <pr.wasif@gmail.com>
Wojciech Danilo <wojtek.danilo@gmail.com> Wojciech Danilo <wojtek.danilo@gmail.com>
Yitzchak Gale <gale@sefer.org> Yitzchak Gale <gale@sefer.org>
Yuras Shumovich <shumovichy@gmail.com> Yuras Shumovich <shumovichy@gmail.com>
Yuriy Syrovetskiy <cblp@cblp.su> Yuriy Syrovetskiy <cblp@cblp.su>
Zejun Wu <watashi@watashi.ws> Zejun Wu <zejun.wu@gmail.com>
capsjac <capsjac@gmail.com> capsjac <capsjac@gmail.com>
codetriage-readme-bot <schneemanbuys@gmail.com>
fendor <power.walross@gmail.com>
ghthrowaway7 <41365123+ghthrowaway7@users.noreply.github.com> ghthrowaway7 <41365123+ghthrowaway7@users.noreply.github.com>
quasicomputational <quasicomputational@gmail.com> quasicomputational <quasicomputational@gmail.com>
vedksah <31156362+vedksah@users.noreply.github.com> vedksah <31156362+vedksah@users.noreply.github.com>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment