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

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
buggymcbugfix
Vilem Liepelt

Browse others (14)

timgaleckas
Tim Galeckas
gastonfernandez
Gastón Fernández-Silva
freddiehunterrr
Freddie Hunter
sorted_one
Lori RAngel
idolstar
Christopher De Vries
anmobor
Antonio Moreno Borras
kali
Mathieu Poumeyrol
gigstorm
Patrick Kiley
mikaere
Mikaere Curtis
raferosco
Rosco
neilkelly
Neil Kelly