edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
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 |
