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

Update AUTHORS. [ci skip]

parent 25cd57a7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.mailmap
+ 11
− 6
View file @ 2058fb68
......@@ -35,12 +35,14 @@ Bram Schuur <bramschuur@gmail.com>
Brendan Hay <brendan.g.hay@gmail.com> <brendanhay@users.noreply.github.com>
Brent Yorgey <byorgey@gmail.com> <byorgey@cis.upenn.edu>
Brian Smith <brianlsmith@gmail.com> brianlsmith <brianlsmith@gmail.com>
Daniel Díaz Carrete <daniel@bogusemailserver.com>
Daniel Gröber <dxld@darkboxed.org> <daniel@dps.uibk.ac.at>
Daniel Wagner <daniel@wagner-home.com> <dmwit@galois.com>
David Himmelstrup <lemmih@gmail.com>
David Luposchainsky <dluposchainsky@gmail.com> <quchen@users.noreply.github.com>
David Waern <davve@dtek.chalmers.se> David Waern <unknown>
Dennis Gosnell <cdep.illabout@gmail.com>
Dmitry Kovanikov <kovanikov@gmail.com> ChShersh <dmitrii@holmusk.com>
Don Stewart <dons00@gmail.com> <dons@galois.com>
Duncan Coutts <duncan@community.haskell.org>
Duncan Coutts <duncan@community.haskell.org> <Duncan Coutts duncan@community.haskell.org>
......@@ -49,10 +51,11 @@ Duncan Coutts <duncan@community.haskell.org> <duncan@commu
Duncan Coutts <duncan@community.haskell.org> <duncan@haskell.org>
Duncan Coutts <duncan@community.haskell.org> <duncan@well-typed.com>
Duncan Coutts <duncan@community.haskell.org> unknown <unknown> # 04e9fcc80bc68b72126e33b20f08050df28e727d
Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@mit.edu>
Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@fb.com>
Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@mit.edu>
Einar Karttunen <ekarttun@cs.helsinki.fi>
Federico Mastellone <fmaste@users.noreply.github.com>
Felix Yan <felixonmars@archlinux.org> Felix Yan <felixonmars@gmail.com>
Francesco Gazzetta <francygazz@gmail.com> <fgaz@users.noreply.github.com>
Ganesh Sittampalam <ganesh.sittampalam@credit-suisse.com> <ganesh@earth.li>
Geoff Nixon <geoff-codes@users.noreply.github.com> <geoff.nixon@aol.com>
......@@ -82,17 +85,17 @@ Jens Petersen <juhpetersen@gmail.com> <petersen@red
Jeremy Shaw <jeremy.shaw@linspireinc.com>
Jeremy Shaw <jeremy.shaw@linspireinc.com> <jeremy@n-heptane.com>
Jim Burton <jim@sdf-eu.org>
Joe Quinn <headprogrammingczar@gmail.com>
Joel Bitrauser <jo.da@posteo.de> <bitrauser@users.noreply.github.com>
Joel Bitrauser <jo.da@posteo.de> Bitrauser <jo.da@posteo.de>
Joe Quinn <headprogrammingczar@gmail.com>
Joel Stanley <intractable@gmail.com>
Joeri van Eekelen <tchakkazulu@gmail.com>
John D. Ramsdell <ramsdell@mitre.org>
John Dias <dias@eecs.harvard.edu> dias <dias@eecs.harvard.edu>
John Ericson <Ericson2314@yahoo.com>
John Ericson <Ericson2314@yahoo.com> John Ericson <Ericson2314@Yahoo.com>
John Ericson <Ericson2314@yahoo.com> <jericson@galois.com>
John Ericson <Ericson2314@yahoo.com> <John.Ericson@Obsidian.Systems>
John Ericson <Ericson2314@yahoo.com> <jericson@galois.com>
John Ericson <Ericson2314@yahoo.com> John Ericson <Ericson2314@Yahoo.com>
Josh Hoyt <josh.hoyt@galois.com>
Judah Jacobson <judah.jacobson@gmail.com>
Jürgen Nicklisch-Franken <jnf@arcor.de>
......@@ -146,5 +149,7 @@ Thomas Schilling <nominolo@gmail.com> <nominolo@goo
Thomas Tuegel <ttuegel@gmail.com>
Thomas Tuegel <ttuegel@gmail.com> <ttuegel@mailbox.org>
Thomas Tuegel <ttuegel@gmail.com> <ttuegel@secure.mailbox.org>
capsjac <capsjac@gmail.com> # Goes by that name online
vedksah <31156362+vedksah@users.noreply.github.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
quasicomputational <quasicomputational@gmail.com> # Goes by that name online
vedksah <31156362+vedksah@users.noreply.github.com> # Goes by that name online
AUTHORS
+ 8
− 0
View file @ 2058fb68
......@@ -14,6 +14,7 @@ Alex Washburn <github@recursion.ninja>
Alexander Kjeldaas <alexander.kjeldaas@gmail.com>
Alexander Vershilov <alexander.vershilov@gmail.com>
Alexei Pastuchov <alexei.pastuchov@telecolumbus.de>
Alexis Williams <alexis@typedr.at>
Alistair Bailey <alistair@abayley.org>
Alson Kemp <alson@alsonkemp.com>
Amir Mohammad Saied <amirsaied@gmail.com>
......@@ -65,6 +66,7 @@ Conal Elliott <conal@conal.net>
Curtis Gagliardi <curtis@curtis.io>
Dan Burton <danburton.email@gmail.com>
Daniel Buckmaster <dan.buckmaster@gmail.com>
Daniel Díaz Carrete <daniel@bogusemailserver.com>
Daniel Gröber <dxld@darkboxed.org>
Daniel Trstenjak <daniel.trstenjak@gmail.com>
Daniel Velkov <norcobg@gmail.com>
......@@ -82,6 +84,7 @@ David Waern <davve@dtek.chalmers.se>
Dennis Gosnell <cdep.illabout@gmail.com>
Dino Morelli <dino@ui3.info>
Dmitry Astapov <dastapov@gmail.com>
Dmitry Kovanikov <kovanikov@gmail.com>
Dominic Steinitz <dominic@steinitz.org>
Don Stewart <dons00@gmail.com>
Doug Beardsley <mightybyte@gmail.com>
......@@ -101,6 +104,7 @@ Eugene Sukhodolin <eugene@sukhodolin.com>
Eyal Lotem <eyal.lotem@gmail.com>
Fabián Orccón <fabian.orccon@pucp.pe>
Federico Mastellone <fmaste@users.noreply.github.com>
Felix Yan <felixonmars@archlinux.org>
Florian Hartwig <florian.j.hartwig@gmail.com>
Francesco Ariis <fa-ml@ariis.it>
Francesco Gazzetta <francygazz@gmail.com>
......@@ -235,6 +239,7 @@ Peter Robinson <thaldyron@gmail.com>
Peter Selinger <selinger@mathstat.dal.ca>
Peter Simons <simons@cryp.to>
Peter Siska <siska.pe@gmail.com>
Peter Trommler <ptrommler@acm.org>
Peter Trško <peter.trsko@gmail.com>
Phil Ruffwind <rf@rufflewind.com>
Philipp Schumann <philipp.schumann@gmail.com>
......@@ -251,6 +256,7 @@ Roberto Zunino <zunrob@users.sf.net>
Robin Green <greenrd@greenrd.org>
Robin KAY <komadori@gekkou.co.uk>
Roman Cheplyaka <roma@ro-che.info>
Roman Kashitcyn <rkashitsyn@rkashitsyn.zrh.corp.google.com>
Ross Paterson <ross@soi.city.ac.uk>
Rudy Matela <rudy@matela.com.br>
Ryan Desfosses <ryan@desfo.org>
......@@ -288,6 +294,7 @@ Thomas Tuegel <ttuegel@gmail.com>
Tillmann Rendel <rendel@informatik.uni-marburg.de>
Tim Chevalier <chevalier@alum.wellesley.edu>
Tim Humphries <tim.humphries@ambiata.com>
Tim McGilchrist <timmcgil@gmail.com>
Tomas Vestelind <tomas.vestelind@gmail.com>
Toshio Ito <debug.ito@gmail.com>
Travis Cardwell <travis.cardwell@extellisys.com>
......@@ -300,6 +307,7 @@ Yitzchak Gale <gale@sefer.org>
Yuras Shumovich <shumovichy@gmail.com>
Yuriy Syrovetskiy <cblp@cblp.su>
capsjac <capsjac@gmail.com>
ghthrowaway7 <41365123+ghthrowaway7@users.noreply.github.com>
quasicomputational <quasicomputational@gmail.com>
vedksah <31156362+vedksah@users.noreply.github.com>
Łukasz Dąbek <sznurek@gmail.com>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment