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

ska80
Kamil Shakirov
IAmHardliner
Steve Biedermann
justanotherdot
Ryan James Spencer
holsee
Steven Holdsworth
roundcrisis
roundcrisis
mgttlinger
Merlin Göttlinger
vascorsd
Vasco Dias
xldenis
Xavier Denis
brendanzab
Brendan Zabarauskas
davidad
David Allen Dalrymple

Browse others (15)

BretFisher
Bret Fisher
uberspace
uberspace.de
mairin
Máirín Duffy
1password
Code signing for 1Password
emax
electronic Max (Max Van Kleek)
davewongillies
Dave Wongillies
dgenr8
Tom Harding
coaxmetal
Derek Leverenz
austinhuang
Austin Huang
rust
Rust Language
adam_baldwin
Adam Baldwin
hrach
Jan Škrášek
jiffyclub
Matt Davis
cecileb
Cécile Boucheron