edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK

Following (2)

hannes
Hannes Mehnert
jfdm
Jan de Muijnck-Hughes

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