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 (74)

vascorsd
Vasco Dias
xldenis
Xavier Denis
brendanzab
Brendan Zabarauskas
davidad
David Allen Dalrymple
farrellm
Matthew Farrell
pthariensflame
Alexander Ronald Altman
steshaw
Steven Shaw
txus
Txus Bach
mgsloan
Michael Sloan
maradydd
Meredith L. Patterson

Browse others (15)

IC3COLD_MATTH3W
Matthew Conner
jtordway
Jason Ordway
pirhoo
Pierre Romera
AlenaSatoshi
Alena Satoshi V.
rootbsd
Paul Rascagneres
ppannuto
Pat Pannuto
SteveD3
Steve Ragan
sdenike
Shelby DeNike
silsha
Silsha Fux
SamPatt
Sam Patterson
steg
Steven Holmes
popey
Alan Pope
janey
janey
theuni
Christian Theune
KrauseFx
Felix Krause