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

jonathanjouty
Jonathan Jouty
fanf42
François Armand
bergmark
Adam Bergmark
dosourcenotcode
Georgiy Treyvus
throughnothing
Will
jaredc
Jared Corduan
0rca
Alex Vzorov
zeling
Zeling Feng
bitterjug
Mark Skipper
fycth
Andrii Sergiienko

Browse others (15)

ericfreyss
Eric Freyssinet
iamabot
Patrick Maddox
frabrunelle
Francis Brunelle
jledvina
Jared Ledvina
mika
Michael Prokop
Lenny
Lenny Khazan
csj85
17410742
kcarruthers
Kate Carruthers
joho
John Barton
snipe
snipe
elaforc
Eric LaForce
fsmontenegro
Fernando Montenegro
maxogden
Max Ogden
jrg
James Gifford
glennf
Glenn Fleishman