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

Following (41)

twenyOone
Sébastien Pouillard
yogsototh
Yann Esposito
delanoe
Alexandre Delanoe (anoe)
Funkadelyk
beingafred
wen
Wen Kokke
seanleather
Sean Leather
kosmikus
Andres Löh
gaelle
kowey
Eric Kow

Followers (29)

steshaw
Steven Shaw
wraithm
Matthew Wraith
twenyOone
Sébastien Pouillard
byorgey
Brent Yorgey
delanoe
Alexandre Delanoe (anoe)
yogsototh
Yann Esposito
beingafred
Funkadelyk
kowey
Eric Kow
wen
Wen Kokke

Browse others (15)

auxesis
Lindsay Holmwood
ploum
Lionel Ploum Dricot
dmercer
D. Jane MercerWeiss
ezkl
Ezekiel Templin
leozh
Leo Zhadanovsky
lordaro
Charles Pigott
PavolLuptak
Pavol Luptak
j15e
Jean-Philippe Doyle
adriaanm
Adriaan Moors
respeto
Jonathan Respeto
ethanwhite
Ethan White
evacatherder
Eva Schweber
tharoldeus
Thaddeus Harold Wood
darkuncle
Scott Francis
pwuille
Pieter Wuille