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)
|
jack Jack Angers |
|
|
julietar_ Julieta Rivarola |
|
|
angelgis Gisele Aqui |
|
|
swiftdale8 Dale Swift |
|
androidkeybase Kimberly Hopa |
|
ispyrop Ilias Spyropoulos |
|
mwallace1407 Wallace |
|
travisjeffery Travis Jeffery |
|
crystalmakepeace Crystal Makepeace |
|
ne02ptzero Louis Solofrizzo |
|
|
tylyo Attilio Patania |
