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 |
