Jeremy Gibbons
Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.
Public Key
npub1zlulap8uaa3eyusd9j85cnfsemh8as8kd76pu4qsckuuj9z340asrch9ryNIP-05 Address
jer_gib_at_functional.cafe@mostr.pubProfile Code
nprofile1qqsp0707sn7w7cujwgxjer6vf5cvamn7crmxldq72sgvtwwfz3g6h7cpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qzxrhwden5te0wfjkccte9ehx7umhdpjhyefwvdhk6tzwhv7Publishing to
relay.mostr.pub relay.mostr.pub
relay.noswhere.com relay.noswhere.com
relay.shitforce.one relay.shitforce.one
Author Public Key
npub1zlulap8uaa3eyusd9j85cnfsemh8as8kd76pu4qsckuuj9z340asrch9ry