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

pthariensflame
Alexander Ronald Altman
steshaw
Steven Shaw
txus
Txus Bach
mgsloan
Michael Sloan
maradydd
Meredith L. Patterson
ireneista
Irenes
holsee
Steven Holdsworth
porglezomp
C Jones
shapr
Shae Matijs Erisson
xuanruiqi
Xuanrui Ray Qi

Browse others (14)

billinghamj
James Billingham
shoghicp
Shoghi Cervantes
aarora
Anuj A
sweis
Steve Weis
Ryan_Singer
Ryan Singer
MrHodl
Steve Hodl
bonforte
Jeff Bonforte
tibbon
David Allen Fisher
chadfowler
Chad Fowler
tmoore
Tim Moore
chrislas
Chris Fisher
wojciechka
Wojciech Kocjan
neilschelly
Neil Schelly
speedrussr
Russ Rogers