edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Followers (136)
|
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)
|
denghou 等候 |
|
niki0g Nikita G |
|
adambox Adam Wishneusky |
|
|
shyshinby lily shyshinby |
|
|
smukhiyabeen Subarna Mukhiyabeen |
|
albertsun Albert Sun |
|
cflorea Cristian Florea |
|
morrissuzann Aaron Saunders |
|
|
dksdemandware Deep Shrestha |
|
nfernandes Nélia Fernandes |
|
|
kgoloviz Kateryna Goloviznina |
|
sshare S Share |
