AUTHORS

Abhinav Gupta            <mail@abhinavg.net>
Adam Bergmark            <adam@bergmark.nl>
Adam C. Foltzer          <acfoltzer@galois.com>
Adam Gundry              <adam@well-typed.com>
Adam Langley             <agl@imperialviolet.org>
Adam Sandberg Eriksson   <adam@sandbergericsson.se>
Alan Zimmerman           <alan.zimm@gmail.com>
Albert Krewinkel         <tarleb@moltkeplatz.de>
Alec Theriault           <alec.theriault@gmail.com>
Alex Biehl               <alexbiehl@gmail.com>
Alex Hirsch              <w4rh4wk@bluephoenix.at>
Alex Lang                <me@alang.ca>
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>
Alp Mestanogullari       <alpmestan@gmail.com>
Alson Kemp               <alson@alsonkemp.com>
Amir Mohammad Saied      <amirsaied@gmail.com>
Anders Kaseorg           <andersk@mit.edu>
Andrea Vezzosi           <sanzhiyan@gmail.com>
Andreas Klebinger        <klebinger.andreas@gmx.at>
Andres Löh               <andres.loeh@gmail.com>
Andrzej Rybczak          <electricityispower@gmail.com>
Andrés Sicard-Ramírez    <andres.sicard.ramirez@gmail.com>
Andy Craze               <accraze@gmail.com>
Angus Lepper             <angus.lepper@gmail.com>
Antoine Latter           <aslatter@gmail.com>
Anton Dessiatov          <anton.dessiatov@gmail.com>
Antonio Nikishaev        <a@lelf.me>
Arian van Putten         <arian.vanputten@gmail.com>
Arun Tejasvi Chaganty    <arunchaganty@gmail.com>
Atze Dijkstra            <atze@cs.uu.nl>
Audrey Tang              <audreyt@audreyt.org>
Auke Booij               <auke@tulcod.com>
Austin Seipp             <aseipp@pobox.com>
Bardur Arantsson         <bardur@scientician.net>
Bartosz Nitka            <bnitka@fb.com>
Bas van Dijk             <v.dijk.bas@gmail.com>
Ben Armston              <ben.armston@googlemail.com>
Ben Doyle                <benjamin.peter.doyle@gmail.com>
Ben Gamari               <ben@smart-cactus.org>
Ben Millwood             <thebenmachine+git@gmail.com>
Benedikt Huber           <benedikt.huber@gmail.com>
Benjamin Herr            <ben@0x539.de>
Benno Fünfstück          <benno.fuenfstueck@gmail.com>
Bertram Felgenhauer      <int-e@gmx.de>
Björn Bringert           <bjorn@bringert.net>
Björn Peemöller          <bjp@informatik.uni-kiel.de>
Bob Ippolito             <bob@redivi.com>
Bram Schuur              <bramschuur@gmail.com>
Brendan Hay              <brendan.g.hay@gmail.com>
Brent Yorgey             <byorgey@gmail.com>
Brian Smith              <brianlsmith@gmail.com>
Bryan O'Sullivan         <bos@serpentine.com>
Bryan Richter            <bryan.richter@gmail.com>
Carter Tazio Schonwald   <carter.schonwald@gmail.com>
Chaitanya Koparkar       <ckoparkar@gmail.com>
Chang Yang Jiao          <jiaochangyang@gmail.com>
Chris Allen              <cma@bitemyapp.com>
Chris Wong               <lambda.fairy@gmail.com>
Christiaan Baaij         <christiaan.baaij@gmail.com>
Clemens Fruhwirth        <clemens@endorphin.org>
Clint Adams              <clint@debian.org>
Colin Wahl               <colin.t.wahl@gmail.com>
Conal Elliott            <conal@conal.net>
Curtis Gagliardi         <curtis@curtis.io>
Dale Wijnand             <344610+dwijnand@users.noreply.github.com>
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>
Daniel Wagner            <daniel@wagner-home.com>
Danny Navarro            <j@dannynavarro.net>
Dave Laing               <dave.laing.80@gmail.com>
David Eichmann           <EichmannD@gmail.com>
David Feuer              <David.Feuer@gmail.com>
David Fox                <dsf@seereason.com>
David Himmelstrup        <lemmih@gmail.com>
David Lazar              <lazar6@illinois.edu>
David Luposchainsky      <dluposchainsky@gmail.com>
David McFarland          <corngood@gmail.com>
David Terei              <davidterei@gmail.com>
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>
Domen Kožar              <domen@dev.si>
Dominic Steinitz         <dominic@steinitz.org>
Don Stewart              <dons00@gmail.com>
Doug Beardsley           <mightybyte@gmail.com>
Douglas Wilson           <douglas.wilson@gmail.com>
Duncan Coutts            <duncan@community.haskell.org>
Echo Nolan               <echo@echonolan.net>
Edsko de Vries           <edsko@well-typed.com>
Edward Z. Yang           <ezyang@cs.stanford.edu>
Einar Karttunen          <ekarttun@cs.helsinki.fi>
Emily Pillmore           <emilypi@cohomolo.gy>
Eric Kow                 <eric.kow@gmail.com>
Eric Seidel              <gridaphobe@gmail.com>
Erik Hesselink           <hesselink@gmail.com>
Erik Rantapaa            <erantapaa@gmail.com>
Erik de Castro Lopo      <erikd@mega-nerd.com>
Esa Ilari Vuokko         <ei@vuokko.info>
Eugene Sukhodolin        <eugene@sukhodolin.com>
Eyal Lotem               <eyal.lotem@gmail.com>
Fabián Orccón            <fabian.orccon@pucp.pe>
Fangyi Zhou              <fangyi.zhou15@imperial.ac.uk>
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       <fgaz@fgaz.me>
Franz Thoma              <franz.thoma@tngtech.com>
Fujimura Daisuke         <me@fujimuradaisuke.com>
Gabor Greif              <ggreif@gmail.com>
Gabor Pali               <pali.gabor@gmail.com>
Ganesh Sittampalam       <ganesh.sittampalam@credit-suisse.com>
Geoff Nixon              <geoff-codes@users.noreply.github.com>
George Wilson            <george@wils.online>
Gershom Bazerman         <gershomb@gmail.com>
Getty Ritter             <gdritter@galois.com>
Gleb Alexeev             <gleb.alexeev@gmail.com>
Gleb Popov               <6yearold@gmail.com>
Gregory Collins          <greg@gregorycollins.net>
Gwern Branwen            <gwern0@gmail.com>
Haisheng.Wu              <freizl@gmail.com>
Harrison Houghton        <haro@constant.gripe>
Harry Garrood            <harry@garrood.me>
Heather                  <heather@live.ru>
Henk-Jan van Tuyl        <hjgtuyl@chello.nl>
Henning Günther          <der_eq@freenet.de>
Henning Thielemann       <lemming@henning-thielemann.de>
Herbert Valerio Riedel   <hvr@gnu.org>
Iain Nicol               <iain@iainnicol.com>
Ian D. Bollinger         <ian.bollinger@gmail.com>
Ian Lynagh               <igloo@earth.li>
Ian Ross                 <ian@skybluetrades.net>
Ilya Smelkov             <triplepointfive@gmail.com>
Isaac Potoczny-Jones     <ijones@syntaxpolice.org>
Isamu Mogi               <saturday6c@gmail.com>
Iustin Pop               <iusty@k1024.org>
Ivan Lazar Miljenovic    <Ivan.Miljenovic@gmail.com>
Iñaki García Etxebarria  <garetxe@gmail.com>
JP Moresmau              <jp@moresmau.fr>
Jacco Krijnen            <jaccokrijnen@gmail.com>
Jack Henahan             <jhenahan@uvm.edu>
Jake Wheat               <jakewheatmail@gmail.com>
James Earl Douglas       <james@earldouglas.com>
Jan Path                 <jan@jpath.de>
Jason Dagit              <dagitj@gmail.com>
Jean-Philippe Bernardy   <jeanphilippe.bernardy@gmail.com>
Jens Petersen            <juhpetersen@gmail.com>
Jeremy Shaw              <jeremy.shaw@linspireinc.com>
Jim Burton               <jim@sdf-eu.org>
Joachim Breitner         <mail@joachim-breitner.de>
Joe Quinn                <headprogrammingczar@gmail.com>
Joel Bitrauser           <jo.da@posteo.de>
Joel Stanley             <intractable@gmail.com>
Joeri van Eekelen        <tchakkazulu@gmail.com>
Johan Tibell             <johan.tibell@gmail.com>
John Chee                <cheecheeo@gmail.com>
John D. Ramsdell         <ramsdell@mitre.org>
John Dias                <dias@eecs.harvard.edu>
John Ericson             <Ericson2314@yahoo.com>
John Lato                <jwlato@tsurucapital.com>
John Wiegley             <johnw@fpcomplete.com>
Jonathan Daugherty       <jtd@galois.com>
Jookia                   <166291@gmail.com>
Josef Svenningsson       <josef.svenningsson@gmail.com>
Josh Hoyt                <josh.hoyt@galois.com>
Josh Kalderimis          <josh.kalderimis@gmail.com>
Josh Meredith            <joshmeredith2008@gmail.com>
Judah Jacobson           <judah.jacobson@gmail.com>
Jürgen Nicklisch-Franken <jnf@arcor.de>
Karel Gardas             <karel.gardas@centrum.cz>
Keegan McAllister        <mcallister.keegan@gmail.com>
Ken Bateman              <novadenizen@gmail.com>
Ken Micklas              <kmicklas@gmail.com>
Keshav Kini              <kkini@galois.com>
Kido Takahiro            <shelarcy@gmail.com>
Krasimir Angelov         <kr.angelov@gmail.com>
Kristen Kozak            <grayjay@wordroute.com>
Lennart Kolmodin         <kolmodin@gmail.com>
Lennart Spitzner         <hexagoxel@hexagoxel.de>
Leon Isenberg            <ljli@users.noreply.github.com>
Leon Schoorl             <l.m.schoorl@student.utwente.nl>
Leonid Onokhov           <sopvop@gmail.com>
Li-yao Xia               <lysxia@gmail.com>
Liyang HU                <git@liyang.hu>
Luite Stegeman           <stegeman@gmail.com>
Luke Iannini             <lukexi@me.com>
M Farkas-Dyck            <strake888@gmail.com>
Maciej Bielecki          <maciej.bielecki@skubacz.pl>
Maciek Makowski          <maciek.makowski@gmail.com>
Magnus Jonsson           <magnus@smartelectronix.com>
Malcolm Wallace          <Malcolm.Wallace@me.com>
Mark Lentczner           <markl@glyphic.com>
Mark Weber               <marco-oweber@gmx.de>
Markus Pfeiffer          <markusp@mcs.st-andrews.ac.uk>
Martin Sjögren           <msjogren@gmail.com>
Martin Vlk               <martin@vlkk.cz>
Masahiro Yamauchi        <sgt.yamauchi@gmail.com>
Mathieu Boespflug        <mboes@tweag.net>
Matt Renaud              <matt@m-renaud.com>
Matthew Pickering        <matthewtpickering@gmail.com>
Matthew William Cox      <matt@mattcox.ca>
Matthias Fischmann       <mf@zerobuzz.net>
Matthias Kilian          <kili@outback.escape.de>
Matthias Pronk           <git@masida.nl>
Max Amanshauser          <max@lambdalifting.org>
Max Bolingbroke          <batterseapower@hotmail.com>
Maximilian Tagher        <feedback.tagher@gmail.com>
Maxwell Swadling         <maxwellswadling@gmail.com>
Merijn Verstraaten       <merijn@inconsistent.nl>
Michael Sloan            <mgsloan@gmail.com>
Michael Snoyman          <michael@snoyman.com>
Michael Thompson         <what_is_it_to_do_anything@yahoo.com>
Michael Tolly            <miketolly@gmail.com>
Mike Craig               <mcraig@groupon.com>
Mikhail Glushenkov       <mikhail.glushenkov@gmail.com>
Misty De Meo             <mistydemeo@gmail.com>
Miëtek Bak               <mietek@bak.io>
Mohit Agarwal            <mohit@sdf.org>
Moritz Angermann         <moritz.angermann@gmail.com>
Moritz Drexl             <mdrexl@fastmail.fm>
Moritz Kiefer            <moritz.kiefer@purelyfunctional.org>
Nathan Conroy            <nathanconroydev@gmail.com>
Nathan Howell            <nhowell@alphaheavy.com>
Neil Mitchell            <ndmitchell@gmail.com>
Neil Vice                <sardonicpresence@gmail.com>
Nick Alexander           <ncalexan@uci.edu>
Nick Smallbone           <nick.smallbone@gmail.com>
Nikita Karetnikov        <nikita@karetnikov.org>
Niklas Broberg           <niklas.broberg@gmail.com>
Niklas Hambüchen         <mail@nh2.me>
Nikolai Obedin           <dev@nkly.me>
Oleg Grenrus             <oleg.grenrus@iki.fi>
Oleksandr Manzyuk        <manzyuk@gmail.com>
Omar Mefire              <omefire@gmail.com>
Owen Stephens            <owen@owenstephens.co.uk>
Paolo Capriotti          <p.capriotti@gmail.com>
Paolo G. Giarrusso       <p.giarrusso@gmail.com>
Paolo Losi               <paolo.losi@gmail.com>
Paolo Martini            <paolo@nemail.it>
Patrick Chilton          <chpatrick@gmail.com>
Patrick Premont          <ppremont@cognimeta.com>
Patryk Zadarnowski       <pat@jantar.org>
Pepe Iborra              <mnislaih@gmail.com>
Peter Higley             <phigley@gmail.com>
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>
Philipp Schuster         <pschuster@uni-koblenz.de>
Piyush P Kurur           <ppk@cse.iitk.ac.in>
Pranit Bauva             <pranit.bauva@gmail.com>
Prayag Verma             <prayag.verma@gmail.com>
Randy Polen              <randen@users.noreply.github.com>
Reid Barton              <rwbarton@gmail.com>
Richard Eisenberg        <eir@cis.upenn.edu>
Ricky Elrod              <ricky@elrod.me>
Robert Collins           <robertc@robertcollins.net>
Robert Henderson         <rob@robjhen.com>
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>
Ryan Mulligan            <ryan@ryantm.com>
Ryan Newton              <rrnewton@gmail.com>
Ryan Scott               <ryan.gl.scott@gmail.com>
Ryan Trinkle             <ryan.trinkle@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 Gélineau          <gelisam+github@gmail.com>
Sergei Trofimovich       <slyfox@community.haskell.org>
Sergey Vinokurov         <serg.foo@gmail.com>
Sigbjorn Finne           <sof@galois.com>
Simon Hengel             <sol@typeful.net>
Simon Jakobi             <simon.jakobi@gmail.com>
Simon Marlow             <marlowsd@gmail.com>
Simon Meier              <iridcode@gmail.com>
Simon Peyton Jones       <simonpj@microsoft.com>
Spencer Janssen          <sjanssen@cse.unl.edu>
Stephen Blackheath       <stephen.blackheath@ipwnstudios.com>
Stuart Popejoy           <spopejoy@panix.com>
Suzumiya                 <suzumiyasmith@gmail.com>
Sven Panne               <sven.panne@aedion.de>
Sönke Hahn               <shahn@joyridelabs.de>
Takano Akio              <tak@anoak.io>
Takenobu Tani            <takenobu.hs@gmail.com>
Tamar Christina          <tamar@zhox.com>
Taru Karttunen           <taruti@taruti.net>
Taylor Fausak            <taylor.fausak@verizonwireless.com>
Thomas Dziedzic          <gostrc@gmail.com>
Thomas M. DuBuisson      <thomas.dubuisson@gmail.com>
Thomas Miedema           <thomasmiedema@gmail.com>
Thomas Schilling         <nominolo@gmail.com>
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>
Toon Nolten              <toonn@toonn.io>
Toshio Ito               <debug.ito@gmail.com>
Travis Cardwell          <travis.cardwell@extellisys.com>
Travis Whitaker          <pi.boy.travis@gmail.com>
Tseen She                <ts33n.sh3@gmail.com>
Tuncer Ayaz              <tuncer.ayaz@gmail.com>
Vaibhav Sagar            <vaibhavsagar@gmail.com>
Vanessa McHale           <vanessa.mchale@iohk.io>
Veronika Romashkina      <vrom911@gmail.com>
Vincent Hanquez          <vincent@snarc.org>
Vladislav Zavialov       <vlad.z.4096@gmail.com>
Vo Minh Thu              <noteed@gmail.com>
Wasif Hasan Baig         <pr.wasif@gmail.com>
Wojciech Danilo          <wojtek.danilo@gmail.com>
Yitzchak Gale            <gale@sefer.org>
Yuras Shumovich          <shumovichy@gmail.com>
Yuriy Syrovetskiy        <cblp@cblp.su>
Zejun Wu                 <zejun.wu@gmail.com>
capsjac                  <capsjac@gmail.com>
codetriage-readme-bot    <schneemanbuys@gmail.com>
fendor                   <power.walross@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>