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

pthariensflame
Alexander Ronald Altman
roska877
Rosica Ivanova Penkova
plkyy
voeblav
Golenin Alim
maruszec
Mariusz Stec
kevavkatb
Istomin Kuzma
vincentkerstette
Vincent Kerstetter
bee3hmcrick
Bee Crick
ellistheo
Helena Matthews
tammera2igra
Tammera Grasser

Browse others (15)

parterburn
Paul Arterburn
shivjaguar
ShubhamACS
syah
Ryan Stark
tunde1
Tunde Ladipo
lvcivs
Lucius A.
greberj
Janosch Greber
maeszhazh
Teleshev Protasiy
medinilla
Christian Ulises Medinilla Arellano
ebernstein
Eli Bernstein