edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Browse others (15)
|
invalidCharacter Invalid Character |
|
troytoman Troy Toman |
|
goozbach Derek Carter |
|
quchen David Luposchainsky |
|
ryanleesipes Ryan Sipes |
|
xena Christine Dodrill |
|
tillk Till Klampaeckel |
|
copumpkin Dan Peebles |
|
samourai Samourai Wallet |
|
worr William Orr |
|
tmiklas Tomasz Miklas |
|
bketelsen Brian Ketelsen |
|
daveverwer Dave Verwer |
