edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Followers (84)
|
bitterjug Mark Skipper |
|
fycth Andrii Sergiienko |
|
dustinswan Dustin Swan |
|
tosh Thomas Schranz |
|
cronospr Carlos Velez |
|
vitalibarozzi Vitali Barozzi |
|
javbit Javed Mohamed |
|
sigrlami Sergey Bushnyak |
|
ska80 Kamil Shakirov |
|
IAmHardliner Steve Biedermann |
Browse others (15)
|
gemma Gemma Lynn |
|
rfc1036 Marco d'Itri |
|
zaxim Zakariya Dehlawi |
|
jxpx777 Jamie Phelps |
|
roddi Roddi |
|
okoeroo Oscar Koeroo |
|
mclovin Kevin McLovin |
|
haxorthematrix Larry Pesce |
|
lena Lena |
|
dmytri Dmytri Kleiner |
|
frenchie Frenchie |
|
hallettj Jesse Hallett |
|
22Skylight Ivana Sky |
|
japh Japheth Thomson |
|
|
spandrell Spandrell |
