edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
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 |
|
aliguori Anthony Liguori |
|
derelictd _MAGAFOREVER_ |
|
rattis Chris J |
