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

aniketd
Aniket Deshpande
threetees
Scott Trinh
seanparsons
Sean Parsons
raindev
Andrew Barchuk
thalesmg
dysinger
Tim Dysinger
wen
Wen Kokke
maksimaleshko
Maksim Aleshko
utdemir
Utku Demir
cynede
Cynede

Browse others (15)

Oneiroi
David Busby
rdoh
Robin Doherty
spence
Spencer Creasey
kayiwa
Francis Kayiwa
jdub
Jeff Waugh
mikeash
Mike Ash
sethwolfwood
Seth Wolfwood
sigmavirus24
Ian Stapleton Cordasco
GuloGuloDesu
Gulo Gulo
aeris
Aeris
jjb
Jeremy Bornstein
bruno
Bruno Mattarollo
saramurray
Sara Murray
Faragon
Miriam Schoon
l8apexer
Justin Rutherford