np
Nicolas Pouillard
“Type Theory Hacker”. Haskell & Agda programmer. Freelance programmer/researcher.
Angers, France

Following (49)

delanoe
Alexandre Delanoe (anoe)
xsebek
clemb
Clément Belaud
chris
Chris Coyne
muavocat
gaelle
ttylec
Tomasz Tylec
meremst
maxime mere
jyp7
Jean-Philippe Bernardy
xmarvl
Vladislav Maraev

Followers (47)

twenyoone
beingafred
Frédéric Jouault
ttylec
Tomasz Tylec
meremst
maxime mere
adamgundry
Adam Gundry
xmarvl
Vladislav Maraev
jyp7
Jean-Philippe Bernardy
goldensuneur
Théo Le Calvar
clemb
Clément Belaud
anthonymike
mike

Browse others (14)

nathanheffley
Nathan Heffley
ultimatealien
Ultimate Alien
qinliu
Qin Liu
cephcyn
Joyce Zhou
ken7
Ken Sakamoto
amackworth
Alexander Mackworth
dougalsutherland
D.J. Sutherland
hamzatmusa
Hamzat Musa
jseros
John Acosta
milindkulkarni
Milind Kulkarni