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

krishnas
Krishna Shilpakar
rurude
no
heatheryu
wuxiaoyu
eloipuertas
Eloi Puertas Prats
mikegchambers
Mike G Chambers
whoabuddy
Jason Schrader
zhenjiutian
tianzhenjiu
paul_hirrien
Paul Hirrien
szfs
szfs
afares
Abdelmounaim Fares