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

Following (48)

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 (46)

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)

laurentvaills
Laurent Vaills
dorianr
Dorian Rudolph
beto94
Jesús A Mogollón R
pschiffe
Peter Schiffer
thanhtam03
Lưu thành tâm
arundstedtlx
Meg Crean
kav2k
Alexander Kashev
sylvaincombes
Sylvain Combes