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

justanotherdot
Ryan James Spencer
holsee
Steven Holdsworth
roundcrisis
roundcrisis
mgttlinger
Merlin Göttlinger
vascorsd
Vasco Dias
xldenis
Xavier Denis
brendanzab
Brendan Zabarauskas
davidad
David Allen Dalrymple
farrellm
Matthew Farrell
pthariensflame
Alexander Ronald Altman

Browse others (14)

nzkoz
Michael Koziarski
LGV
Leon-Gerard Vandenberg
sayanchowdhury
Sayan Chowdhury
kylemcurrie
Kyle Currie
nitot
Tristan Nitot
ordepdev
Pedro Tavares
syncthing
Syncthing Security
petecheslock
Pete Cheslock
fury
Christoph
facebook
Facebook
aliguori
Anthony Liguori
derelictd
_MAGAFOREVER_
rattis
Chris J