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

Following (49)

delanoe
Alexandre Delanoe (anoe)
xsebek
clemb
Clément Belaud
chris
Chris Coyne
muavocat
gaelle
ttylec
Tomasz Tylec
meremst
maxime mere
jyp7
Jean-Philippe Bernardy
xmarvl
Vladislav Maraev

Followers (47)

twenyoone
beingafred
Frédéric Jouault
ttylec
Tomasz Tylec
meremst
maxime mere
adamgundry
Adam Gundry
xmarvl
Vladislav Maraev
jyp7
Jean-Philippe Bernardy
goldensuneur
Théo Le Calvar
clemb
Clément Belaud
anthonymike
mike

Browse others (12)

jukeboxrhino
Austin Pearce
arghavan
Arghavan Shahrokhi
manojthawani
Manoj Thawani HPE-Aruba
bradengroom
Braden Groom
bossynotboss
👱‍♀️
woowa_hsw0
Seungwon Heo
georgedrummond
George Drummond
tburtts
Telford Burtts
clevelandcoder
Raúl Montejo