edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Followers (95)
|
iricanaycan Aycan iRiCAN |
|
kuznero Roman Kuznetsov |
|
jonaprieto Jonathan Prieto |
|
bradediger Brad Ediger |
|
jonathanjouty Jonathan Jouty |
|
fanf42 François Armand |
|
bergmark Adam Bergmark |
|
dosourcenotcode Georgiy Treyvus |
|
throughnothing Will |
|
jaredc Jared Corduan |
Browse others (15)
|
forensication J-Michael Roberts |
|
lennyzeltser Lenny Zeltser |
|
sebdraven Sebastien Larinier |
|
tessr Tess Rinearson |
|
Mumbley Mumbley |
|
bketelsen Brian Ketelsen |
|
jfranusic Joël Franusic |
|
brenno42 Brenno de Winter |
|
JStark1809 AKA Jacob |
|
olix0r Oliver Gould |
|
andrenarchy André Gaul |
|
dizzypaty Patricia Davila |
|
evert Evert |
|
danielpalacio Daniel Palacio |
