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

malima74
ainav
Aina V
benwr
Ben Weinstein-Raun
alexandria3nouci
Alexander Obi Davids
Goldberry
Umar Aminat
locduc90
Lộc Chung Đức
yayan01
kurts
Kurt Schelfthout
bernstein
Andreas-C. Bernstein
fgaz
Francesco Gazzetta

Browse others (15)

invalidCharacter
Invalid Character
troytoman
Troy Toman
goozbach
Derek Carter
quchen
David Luposchainsky
ryanleesipes
Ryan Sipes
xena
Christine Dodrill
tillk
Till Klampaeckel
copumpkin
Dan Peebles
samourai
Samourai Wallet
worr
William Orr
tmiklas
Tomasz Miklas
bketelsen
Brian Ketelsen
daveverwer
Dave Verwer