edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Followers (92)
|
jonathanjouty Jonathan Jouty |
|
fanf42 François Armand |
|
bergmark Adam Bergmark |
|
dosourcenotcode Georgiy Treyvus |
|
throughnothing Will |
|
jaredc Jared Corduan |
|
0rca Alex Vzorov |
|
zeling Zeling Feng |
|
bitterjug Mark Skipper |
|
fycth Andrii Sergiienko |
Browse others (15)
|
ericfreyss Eric Freyssinet |
|
iamabot Patrick Maddox |
|
frabrunelle Francis Brunelle |
|
jledvina Jared Ledvina |
|
mika Michael Prokop |
|
Lenny Lenny Khazan |
|
csj85 17410742 |
|
|
kcarruthers Kate Carruthers |
|
joho John Barton |
|
snipe snipe |
|
elaforc Eric LaForce |
|
fsmontenegro Fernando Montenegro |
|
maxogden Max Ogden |
|
jrg James Gifford |
|
glennf Glenn Fleishman |
