edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
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 |
