forked from agda/agda
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.authorspellings
26 lines (26 loc) · 2.24 KB
/
.authorspellings
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
Ulf Norell <ulfn@chalmers.se>, ^ulfn@chalmers\.se$, ^ulfn@cs\.chalmers\.se$, ^ulf\.norell@gmail\.com$
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>, ^Nils Anders Danielsson <nad@cs\.chalmers\.se>$
Andreas Abel <andreas.abel@ifi.lmu.de>, ^andreas\.abel@ifi\.lmu\.de$, ^abel@cs\.chalmers\.se$, ^abela@chalmers\.se$
Andrés Sicard-Ramírez <asr@eafit.edu.co>, ^Andrés Sicard-Ramírez <andres\.sicard\.ramirez@gmail\.com>$, ^andres\.sicard\.ramirez@gmail\.com$, ^andres\.sicard@gmail\.com$
Fredrik Lindblad <frelindb@chalmers.se>, ^frelindb@chalmers\.se$, ^frelindb@gmail\.com$
Dominique Devriese <dominique.devriese@cs.kuleuven.be>, ^dominique\.devriese@gmail\.com$, ^dominique\.devriese@cs\.kuleuven\.be$
Péter Divianszki <divipp@gmail.com>, ^divipp@gmail\.com$
Darin Morrison <dwm@cs.nott.ac.uk>, ^darinmorrison@gmail\.com$
Daniel Gustafsson <daniel.gustafsson@gmail.com>, ^daniel\.gustafsson@gmail\.com$
Alan Jeffrey <ajeffrey@bell-labs.com>, ^ajeffrey@bell-labs\.com$
Makoto Takeyama <makoto.takeyama@aist.go.jp>, ^makoto\.takeyama@aist\.go\.jp$
Jean-Philippe Bernardy <jeanphilippe.bernardy@gmail.com>, ^jeanphilippe\.bernardy@gmail\.com$
Nicolas Pouillard <nicolas.pouillard@gmail.com>, ^nicolas\.pouillard@gmail\.com$
James Chapman <james@cs.ioc.ee>, ^james@cs\.ioc\.ee$
Nobuo Yamashita <nobuo-yamashita@aist.go.jp>, ^nobuo-yamashita@aist\.go\.jp$
Patrik Jansson <patrikj@chalmers.se>, ^patrikj@chalmers\.se$
Fredrik Nordvall Forsberg <csfnf@swansea.ac.uk>, ^csfnf@swansea\.ac\.uk$, ^fredrik\.nordvall-forsberg@strath\.ac\.uk$
Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>, ^stevan\.andjelkovic@strath\.ac\.uk$
Guilhem Moulin <guilhem.moulin@chalmers.se>, ^guilhem\.moulin@chalmers\.se$
Stefan Monnier <monnier@iro.umontreal.ca>, ^monnier@iro\.umontreal\.ca$
Marcin Benke <marcin.benke@gmail.com>, Marcin.Benke <marcin.benke@gmail.com>, ^marcin\.benke@gmail\.com$
Olle Fredriksson <fredriksson.olle@gmail.com>, ^fredriksson\.olle@gmail\.com$
Samuel Gélineau <gelisam@gmail.com>, ^gelisam@gmail\.com$
Andrea Vezzosi <sanzhiyan@gmail.com>, ^sanzhiyan@gmail\.com$
Jesper Cockx <jesper.cockx@cs.kuleuven.be>, ^jesper\.cockx@cs\.kuleuven\.be$
Wouter Swierstra <w.s.swierstra@uu.nl>, Wouter Swierstra <wss@cs.nott.ac.uk>, ^wss@cs\.nott\.ac\.uk$, ^w\.s\.swierstra@uu\.nl$