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

Following (44)

Funkadelyk
delanoe
Alexandre Delanoe (anoe)
wen
Wen Kokke
kmett
Edward Kmett
ocharles
Oliver Charles
alpmestan
Alp Mestanogullari
twenyOone
Sébastien Pouillard
yogsototh
Yann Esposito
beingafred
Frédéric Jouault
seanleather
Sean Leather

Followers (31)

melch100
Melch Tuazon
delanoe
Alexandre Delanoe (anoe)
twenyOone
Sébastien Pouillard
Mak251
ken_mattr
beingafred
Frédéric Jouault
steshaw
Steven Shaw
wraithm
Matthew Wraith
byorgey
Brent Yorgey

Browse others (14)

xaprb
Baron Schwartz
segphault
Ryan Paul
jcross
Jonathan Cross
yorigrunt
Yoriyasu Yano
shadow
Daria Phoebe Brashear
av1
Avi
iElectric
Domen Kožar
Reyma02
Reyma Chang
stellarchain
StellarChain
jpdanner
Jason Danner
abrahamwilliams
Abraham Williams
pasta
Pasta