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

vikesh
Vikesh Inbasekharan
camillem
Just testing
issa1
Issa
schne324
Harris Schneiderman
jai1
Jai Munday
davidnarum
David Narum
dbmin
Daniel Minarik
dheremans
David Heremans
mikeabbou
Mickael Abbou
crunkcomputing
Kristoffer Marshall
addubruiel
Amber Dubruiel
miszobi
miszobi