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

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

dsmillie
David Smillie
silviaas
Silvia Aran
jantdm
Jan Tiedemann
richcrox
Richard Agbro
schovi
David Schovanec
avelosa
Andrea Velosa
mathilde_gdf
Mathilde Godefroid
protonus
Jim
simonepasquini
Simone Pasquini
carlosfaria_
Carlos Faria
justincharles
Justin Charles