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

rrbudding
Richard R. Budding
johnkim
John Kim
bozkanata
Jonathan Smith
ryanrfox
Ryan R. Fox
albertoslopez
Alberto Serafin Lopez
xianglo
Rick Swords
jgamblin
Jerry Gamblin
bartje
Bartje
pidooma
Steven Rojo
delamarets
Dela