edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Start a chat
Your conversation will be end-to-end encrypted.

Following (2)

hannes
Hannes Mehnert
jfdm
Jan de Muijnck-Hughes

Followers (142)

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
buggymcbugfix
Vilem Liepelt
pthariensflame
Alexander Ronald Altman

Browse others (15)

chaudharisaagar
Sagar Chaudhari
madd512
Madeline Davies
subhuman
Sebastian Wachter
duonf
Harun S B
philip_khor
Philip Khor
steffie1984
Steffie
rlevans
R Evans
vl77lp
Vladimir
chainlynx
Adam Leszinski