edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Browse others (15)
|
Oneiroi David Busby |
|
rdoh Robin Doherty |
|
spence Spencer Creasey |
|
kayiwa Francis Kayiwa |
|
jdub Jeff Waugh |
|
mikeash Mike Ash |
|
sethwolfwood Seth Wolfwood |
|
sigmavirus24 Ian Stapleton Cordasco |
|
GuloGuloDesu Gulo Gulo |
|
aeris Aeris |
|
jjb Jeremy Bornstein |
|
bruno Bruno Mattarollo |
|
saramurray Sara Murray |
|
Faragon Miriam Schoon |
|
l8apexer Justin Rutherford |
