edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
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 |
