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 (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