Edwin Brady
Reader in Computer Science at the University of St Andrews. Idris developer, trying to make fancy type systems that are usable and efficient. Occasional Go player. Cricket watcher. Trainee Adult. Will play ukulele for free, will stop for money.
Public Key
npub1mplu884gyv5g64l5npmscucfspyhza5eu3y7zshuf7edsf4wlulqkz4u9fNIP-05 Address
edwinb_at_types.pl@mostr.pubProfile Code
nprofile1qqsdsl7rn65zx2yd2l6fsacvwvycqjt3w6v7gj0pgt7ylvkcy6h070spzemhxue69uhhyetvv9ujumn0wd68ytnzv9hxg62w9n7Publishing to
relay.nostr.band relay.nostr.band
Author Public Key
npub1mplu884gyv5g64l5npmscucfspyhza5eu3y7zshuf7edsf4wlulqkz4u9f