- If you're a potential PhD student, I'm happy to hear from you! But please read these notes about postgraduate study in Computer Science at St Andrews first.
- If you're asking a question about Idris, it's better to send it to the mailing list. You're likely to get a quicker (and better!) answer that way. It might be me who answers, but there are hundreds of others who are equally or better qualified to answer.
- If you're wondering how to address me, "Dear Edwin" is fine :). Or if you want to be more formal (that's entirely up to you!) you can use "Dear Dr Brady".
Post: School of Computer Science, North Haugh, St Andrews, KY16 9SX
You can also sometimes find me chatting in the Idris Discord community - you can find details on the Idris web site.