np
Nicolas Pouillard
“Type Theory Hacker”.
Haskell & Agda programmer.
Freelance programmer/researcher.
Angers, France
Following (43)
|
kmett Edward Kmett |
|
ocharles Oliver Charles |
|
alpmestan Alp Mestanogullari |
|
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 |
Browse others (14)
|
snowcrashmike Mike Patterson |
|
danielverlaan Daniël Verlaan |
|
edc Edward Callahan |
|
wkusnierczyk Waclaw Kusnierczyk |
|
lbredeso Luke Bredeson |
|
AmericanPatriot 👍🏼 American 🇺🇸 Patriot 👍🏼 |
|
peternealon Peter Nealon |
|
robrigo Robert Konsdorf |
|
ryancnelson Ryan Christian Nelson |
|
beltran Beltran Berrocal |
|
yesthattom T L |
|
danielglh Linghui Gong |
|
pawal Patrik Wallström |
