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)

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)

wayan
Shaik Naseer
markmenkhus
Mark Menkhus
mikashharia
Mikash Haria
bixyaguiar
Bixy K
anogueira
Anabela Nogueira
carlositos
Alex Tykhonchuk
joshyouuh
Joshua Hampton
santteegt
Santiago Gonzalez Toral
sjansen
Stuart Jansen
vin
Vineet Kumar
montysaini
monty
salvis
Sebastian Alvis
edgarpng
Edgar Pérez
midzi
Michał Dziwisz