edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK

Following (2)

hannes
Hannes Mehnert
jfdm
Jan de Muijnck-Hughes

Followers (57)

seanparsons
Sean Parsons
raindev
Andrew Barchuk
thalesmg
dysinger
Tim Dysinger
wen
Wen Kokke
maksimaleshko
Maksim Aleshko
utdemir
Utku Demir
cynede
Cynede
int_index
Vladislav Zavialov
mindbound
Arets Paeglis

Browse others (15)

markusjura
Markus Jura
scottm32768
Scott McDermott
mfreed
Mike Freedman
paulbellamy
Paul Bellamy
darrenbishop
Darren Bishop
cecileb
Cécile Boucheron
bastien
Bastien Le Querrec
CyberGuard
CyberGuard
vish
Vishvananda Ishaya
muel
Sam Lehman
adrianpike
Adrian Pike
jakegoulding
Jake Goulding
awe
Aaron Weiss
zkat
Kat Marchán
lyk
lyk