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

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

joshbegley
Josh Begley
naugess
Marie Martin
joewildish
Joe Wildish
vedranco
Vedran Blazeka
david101
David
blipp
Benjamin Lipp
gamishon
Mason
grahamvo
Graham von Oehsen
justinedelson
Justin Edelson
mike_littlewood
Mike Littlewood
austinty
Austin filson