Public Key

Philip Wadler


-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: Mailvelope v0.13.1
Comment: https://www.mailvelope.com

xsFNBFXHf5wBEACcetAVWAkx5FLwYKNeEjgjS/5yVU4DFlgXcDOIXZJvQf02
U9iuMMl2E44uRGaD1cZjr4HSTorVkJQAk3sa96g2Rh20jPl8zE2e5BXN9N9Q
xgu63f5WBadcGwPTCOvJlx2KwuCUTLf2til9I85caL5+ShotTbqgNzoYIgiQ
x2kj9rX+attWzcky0c0hkcflADOUDz4XGJC8eDpZMlkK3lWqYSN/Hzn6Hn5v
StSc6tvLuX8cqzROhpYoqTPHIwcQzQuNsjsA9rn99bnUs3hEVDf2KpMjwJrA
0yhi8qYz6AYgd4KKK+3Ix3nbzruyYf02XK7aBsTJeM/yFG/fDQpHvlLzUX7S
VEi90lL1xRdb0ZC81HcDZso9vDydwTRG2Xi1G3Vt/vEzQqrotG7hykJrduE1
Kj8CWbocd6eD5SpUei59T3iBUvM3Yaqnv5GoM1LXruzCYCRoRTUvcmtOBlW2
El85PQATuVNtbmwvZqcu1QKRz1jo1B2bKqORVEVYRAuqrWuRrcTK9dHrMZnH
g29r3LGulgxmTCP7M7BH4mZRMgYaHvZYB72HORgcLO5aeEQRavg3XY5lGW5W
aeI910U5nXGZSEwoiRoi2/tzLhaUwwYtr3+Hx8ElsOrbNAjd1yTYm7af7WHG
+rfA5wniLYQ60bbXGMvdfSbuLo5ejaCdDFwiHwARAQABzSNQaGlsaXAgV2Fk
bGVyIDx3YWRsZXJAaW5mLmVkLmFjLnVrPsLBcgQQAQgAJgUCVcd/7AYLCQgH
AwIJEASOpXoQ3cidBBUIAgoDFgIBAhsDAh4BAABd5w/9GlrrTrG81XAmMJFw
4Drpy/i8+v57Cdxfec4s6lnYpMiNOCQDHNWz98ElCXX1sEZhDNywxzX8Sb2c
E+VMKY+uXx9Nr+NpBuVsSE6w9ML1G8LgPeb374P68m7kkE0hUDQdZYGSkcmz
e+SarAlC9ZSlqCa/wbMGbR+zdc/aIol8egH1VHx0VjVHqUiNu91vlt5QTBwR
VbS8zwzKCwiVTyO+xd+zRfTroRMnPVykXfNG5qR8El4/zEL++iw9BhFnP4Fe
ijUVETeK1DHNM+4MQaDfmgRV+NfxdtnB+F6/Xd42UFU6Yg3bl/PY4v3Dn1Iy
L90xzUy2k+NPS/ad+M/vnRirbZyXR5SlxF+AOMAnYCs5NRJjIVHBB480Zwvn
PY2ZaoI+FGnUTkHJBx0RWfm6bc6mr62l5YQawQ2gZQLLM7COeNOoEoaMhb5O
GLjpLxk14sRx2hI6psWrf1arb8IjoUWDBy6fO9quHtidmVEIEEFblQqwhzdE
CzmAVStS18X8FAXu4Pj42Kr+FJFW9N8/GM4r+SKE2S7Ei5/rkw8Fh7MD03+0
/5vh8u0/kalkRlGX9rnyg/dRjRLgYSfaoCYtq8CXGBhxmpheMbWkkWU2Qhfl
Z1cNfQgCBFpkhpQPL6i5mH4DMTlzQ3yDBm53pWVZ8YciMmn8h/jQDIfX61hf
5YcEJcjOwU0EVcd/rQEQAJ7KPw6WLGzf1PqifMmkSQWFJcRH5CFlWZUpFuWX
cfH8IjmM11F9/8BiatflHUVzvSFCYKk6zpYpxX6nT/yNTKmDe3STRvI/E2Da
Jw2Jkd7bzthn4F3kHoj1xvP/OY0ph1d/5cWLUpychjuME33aLAs/HFm2UIMx
8DJ7auqSprFDokprpexq8yVcTQpAQKfCLABR4Y7cJZacaS9xun4rKXxwe4Or
eMoAkH26fjXC2O168mJhPC1CFFyCLqU1hQF4ujzh8nEVgQho/V1ze/4McsA5
cOHIkuMHzCLG9dj2+VzKbx5mIKsfBjpUYsNeSQaRjfBPn2CGu0W78V8eembw
bsjv4cpls8fQD9Ohts/pJnMOSCnrXwLD/fX3OgbLs8JDIQsueC5Hmb1dGf4U
hvBQef38HBmlzIl+lS8fT9uX6LLK8DgE+rSzLUg1+Z7dmoJ5BPLcgopQIgr6
yuV67UGqbzL/GhURsHCDfA2oYqz/riZuA7kk5HSIm3B8X1qdSrtSUZMcBKwv
Snm1v8e2kYliWTl7d3n7kuIqxqgq6tg86IrfOJm+b0eIOgF6/HFeTcAN0s0C
WX8w7+Z3fwTJi3maQ7WAidQXyE6KTjAeoGGldO22F6isGj7un4ttAMLqoygs
nFpQ4++QsOn0HaDNlfM1ZmiJIsuyofA6aS18ExYGoI2dABEBAAHCwV8EGAEI
ABMFAlXHf+0JEASOpXoQ3cidAhsMAABfkg/+PrZiEMZ1jNgkUP/QBiQgHwsK
JKe7m/tLhujOIW4CxDDZAPXD7pWsI2dFPsN5e3MJaeyfQY/LeAKAHQzQf6hi
2WR1Byo7MIW7QLiCrn57z+9N7oXfu7uhf3Nn44mtWCcmE0WnJlpXOFTMu6MY
s/xQNqi911VDAREoHPHN/UfU80g3erlF5/JBcrtySjmAzI3toERdssqw5Gxn
Zf66aHnRogaOcioP+ib2l3SQZl75LbbnOb4gITAEBBoME83c0ijFrb1kdSc1
Zm9oXtNsDO8fI+Z1UUPVHJorEyrtWdP87c8h543X9pnolrwvn7W4Y1rnlIwx
7tdJcVrpxmOteRsmgJ1Llb4+rQKX9FpfHzlvPQbRx3/14ERQOWcWPQLa3fx3
Uu8QM+heJBQpIUHgU9GLTX3CZYXYhc/tTnGgJlRd2M3nsBzrIJoQXv7YcxZH
zsk2V9EZzMQ4DBH7po3kMfx2EY992Pt+4Ri9JILxvNU95vLWMBlY2IHEqo0G
+PZSkh7aQfjzBwmT5oYyU7ju6sP/ljzBoEdyVVjy9EppxV7TH8vnAe34c9Dy
hWsf+IMt3QN20c6Fpos9TbXBBd4jYAs5O5lD1YTAFXA9k/kh9//SMuHVY8Hx
OylRuJ/Ydb5905VlEupbNBd29O+CCwqVnskkCu0/Yw5moZkJVd2kqFWHh2o=
=1zxA
-----END PGP PUBLIC KEY BLOCK-----

Philip Wadler,