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

Following (40)

twenyOone
Sébastien Pouillard
yogsototh
Yann Esposito
delanoe
Alexandre Delanoe (anoe)
beingafred
Frédéric Jouault
wen
Wen Kokke
seanleather
Sean Leather
kosmikus
Andres Löh
gaelle
kowey
Eric Kow
mefyl
Quentin Hocquet

Followers (29)

AbdulhamidSaeed
Abdulhamid Mohammed Saeed
steshaw
Steven Shaw
wraithm
Matthew Wraith
twenyOone
Sébastien Pouillard
byorgey
Brent Yorgey
delanoe
Alexandre Delanoe (anoe)
yogsototh
Yann Esposito
beingafred
Frédéric Jouault
kowey
Eric Kow
wen
Wen Kokke

Browse others (15)

svanas
Stefan van As
alanwoo
Alan Woo
gcluley
Graham Cluley
bretttrimble
Brett
integralist
Mark McDonnell
juliaferraioli
Julia Ferraioli
daviddias
David Dias
agromanowska
Agnieszka Gromanowska
charliesome
Charlie Somerville
tomlr
Thomas Rankin
spladug
Neil Williams
cescoffier
Clement Escoffier
chees
Christiaan Hees