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

Following (50)

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

Followers (48)

twenyoone
ttylec
Tomasz Tylec
beingafred
Frédéric Jouault
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)

ewolkowicz
Ethan Wolkowicz
padeluun
padeluun
bugabinga
Oliver Jan Krylow
afdt4k2yrv2p6i
Anzai安齋
robmartinson
Robert Martinson
samru
Sam Rutley
ademcan
Adem Bilican
makyus
Luna Ilune Makyus
mcontuci
Martin Contuci