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

Following (47)

meremst
maxime mere
jyp7
Jean-Philippe Bernardy
xmarvl
Vladislav Maraev
adamgundry
Adam Gundry
funkadelyk
goldensuneur
Théo Le Calvar
gaelle
cipt
Ciprian Teodorov
delanoe
Alexandre Delanoe (anoe)
wen
Wen Kokke

Followers (48)

beingafred
Frédéric Jouault
meremst
maxime mere
adamgundry
Adam Gundry
xmarvl
Vladislav Maraev
jyp7
Jean-Philippe Bernardy
goldensuneur
Théo Le Calvar
clemb
Clément Belaud
anthonymike
mike
dotozlab
Balashova Anastasiya
muchalic
Michalak Jakub

Browse others (15)

pinks11
💖Pinky M💖
psajibu
Ahmad najeel
joaoaguiam
Joao Aguiam
lowkeyzzombie
TeamNikki
tedgriffx
Ted Griffin
tomashm
Tomas Håheim Mortensen
koevbokimbocha
Glazenap Marta
jakmatb
Jakov Matej Bončina