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

huan_duo666
Siron
csk
Christopher Komuves
kryptoalvin
Adrian Mrowczyk
fsbrg
Francesco Sebregondi
mtahle
Mujahed Altahle
mchagas
Maykon Chagas
rhettesecurity
rhette wallach
1000camels
Darcy Wade Christ
imajeetyadav
Ajeet Yadav
harshasha256
Harsha Sharma (albatraoz)