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 |
