edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Followers (138)
|
skaaks Kamil Shakirov |
|
pthariensflame Laine Taffin Altman |
|
terrymunro Terence Munro |
|
calebcase Caleb Case |
|
k4rtik Kartik Singhal |
|
shergill Suhail Shergill |
|
develop7 Andrei Dziahel |
|
juselius Jonas Juselius |
|
daemraz Walter Rorie-Baety |
|
atopuzov Aleksandar Topuzovic |
Browse others (15)
|
kvitka_k Kvitka Kramar |
|
|
samanthawong Samantha W |
|
ikucuze Olivier Le Tiec |
|
v1n1v131r4 v1n1v131r4 |
|
dan_vanmispelen Daniel van Mispelen |
|
badagary bada gary |
|
ob Oscar Bonilla |
|
|
glendale1212 glen dale |
|
ashcarrigan Ashley Carrigan |
|
|
bowmi bowmiya begum |
