Todd Waugh Ambridge
Theory & Teaching @ University of Birmingham -- Interests include Agda and Type Theory
Public Key
npub1xzgggqqrzhd9pu8pw9f6gl9k9rn253gw74zxa7rzmruxezttjn7qu22eclNIP-05 Address
todd_at_mathstodon.xyz@mostr.pubProfile Code
nprofile1qqsrpyyyqqp3tkjs7rshz5ay0jmz3e42g58023rwlp3d37rv394eflqtz2wpwAuthor Public Key
npub1xzgggqqrzhd9pu8pw9f6gl9k9rn253gw74zxa7rzmruxezttjn7qu22ecl