edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Followers (65)
|
ireneista Irenes |
|
holsee Steven Holdsworth |
|
porglezomp C Jones |
|
shapr Shae Matijs Erisson |
|
xuanruiqi Xuanrui Ray Qi |
|
sergebass Sergii |
|
aniketd Aniket Deshpande |
|
threetees Scott Trinh |
|
seanparsons Sean Parsons |
|
raindev Andrew Barchuk |
Browse others (15)
|
C0LDFIRE C0LDFIRE |
|
dharmon202 David Larry Harmon |
|
nicolab Nicolas Bacca |
|
malia Malia Oreta |
|
altsalt Wm Salt Hale |
|
torgo Daniel Appelquist |
|
njpatel Neil Jagdish Patel |
|
lukemaciak Luke Maciak |
|
darkoperator Carlos Perez |
|
JKirchartz Joel Kirchartz |
|
pydanny Daniel Greenfeld |
|
thomasfr Thomas France |
|
rkneufeld Ryan Neufeld |
|
imisaac Isaac Mao |
