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