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 (15)
![]() |
vikesh Vikesh Inbasekharan |
![]() |
camillem Just testing |
![]() |
issa1 Issa |
![]() |
functiondev dam |
![]() |
schne324 Harris Schneiderman |
![]() |
jai1 Jai Munday |
![]() |
davidnarum David Narum |
![]() |
dbmin Daniel Minarik |
![]() |
dheremans David Heremans |
![]() |
mikeabbou Mickael Abbou |
![]() |
crunkcomputing Kristoffer Marshall |
![]() |
addubruiel Amber Dubruiel |
![]() |
miszobi miszobi |