_   _                  _         
| | | | _____      ____| |_   _   
| |_| |/ _ \ \ /\ / / _` | | | |  
|  _  | (_) \ V  V / (_| | |_| |_ 
|_| |_|\___/ \_/\_/ \__,_|\__, ( )
                          |___/|/ 

my name is Rafał Szczerski. I'm a modest software developer from Poland
interested in functional programming and formal verification.

If you wonder how to contact me and this is what you've found, feel free to
drop me an email at rafal-at-szczerski-pl (also, here's my public key).

-----BEGIN PGP PUBLIC KEY BLOCK-----

mQINBFz/dtUBEAC2U51wH4t0hlD+uErVe7IORvB53fVhQJKdoj0I+8KSIRBhXNkZ
RvEzzC4ka90LcuIVrNu6qrow4sjiqad5ry0x6Mac5Ga1KD7+NS2LheEkwTdHrjDb
SwqfFdNH7rn8O19a7UzCUEnWe6jY4g8fNMoNmGOlLTnIbE4W+24jMXG+1dhSfPIm
GbUT199SY1uLyUU8GkVEA958qILv9gViIJuOePjv/FNAtvt72NI2w55EuJsQkfCf
UD+V/Nw3i89OwXNV2PcVxGXmG4PmqXzLBXu15kuU4JyjdGshcmMTmzK2bwzFmAlw
D7qLvs1yz/ETshZe8M4XGeXMTCCWlu12CwOPiL+79Af6cleCT93KOlAd30wThx/4
urj0cit/HE+WZIfVmFF9pO1+iaqzfzqeuslM4gRSoTFJQz1VjsGwLRz866W1Ohwq
3JKFhpiA703Z45LgDRwfU8A5ah9J3SYOFbfjhsd9TpdfU2wAM7EvPPX7jJGTh+Tk
W9voaGRxeZeEs74bLGzfjEAzOkOwWQ4Vp6ZeBDay3fJj6/Z+JyXrpT8O0bLWoxkY
BAV7bp6ma5RTwhfrNNGl0M2cG6BRrkiwoRqqHhROAENOq6LY4lLUrmFmQyCkxJDx
yhVjUp6JqMWaK+ln8eBkdsYrYJoXie6zeqBWovVKMCfIdSOIs+hGnmjbvwARAQAB
tCVSYWZhxYIgU3pjemVyc2tpIDxyYWZhbEBzemN6ZXJza2kucGw+iQJOBBMBCAA4
FiEEtpWQqfaX3UU1fEjzclHOiTOjZQ8FAlz/dtUCGwMFCwkIBwIGFQgJCgsCBBYC
AwECHgECF4AACgkQclHOiTOjZQ9T2w//cv7naENujUyjBKoWrmX2qUxM7BPnlapU
AlsiDtg/viD4HLMAefWoY/BFNeg9qazhckChP0f6Pw0zrLqThtXXT8D+J4EW4hvl
mBGAycPph4+R/l6duIVFRAR9IKc+puSJH/CshEwYOPqxg8lmeu2F0JybHLti43Ch
q+qglBeW87L92Oiz9AzrhL4GApFzZOtvHKPsX+0gP/+fF0d40UMsqAj8Q45vnOEY
A9n8iJjXe+o0c4E6Y0BFLJWiZorIeExfIYyiIEAP0ChiB/mYB2LDeaVeis+YesQB
h+aL/aqSMxMhwn17n43nHaBxEWoH3ZO7w7PLfkCJX76iMbBNAnn1lPAzUeB9p/gg
cCVx7MPycK+8ZsBxlBcSPSEFf1PJfr6O9QYTLIiMCkPzQuq0K42GJW9D16GjzgNj
tUNrOVdBBKuIY89G2Y5xdjeWu3vEEae+j2lKady/pFoM087hd3JWzSQ6KtEYzQlI
pn2IzRXeuq6hDXOzCYF2wv77Vzh8ZOzOuyJskjfyudWBVZ8r1IcSfS4B7X4nxIDF
jq3yMI3Ot1JCLBGHm6cDgOU6tFmK7pxxHXe63DaUx5sg34hsw9VZ/E8A226be3c7
zUWnuNOd+6PMKgdCZmLQ9EGiQg3q2OLXuK9Nw4NxwBCnS45SGyET32v46IPObh2B
+M8ZMJuA3pe5Ag0EXP921QEQALu+VjUnuAfyI954rORjNJrBuN41M5p7tkbk+52K
wvIu/40yzmQPHW9ywB6kbrminotYj0l7yyw0kr6DgNLjgalgULM7hcRp9xpZlyXL
BsDszttLKOQINMmHjDvo5RPgXG/hhCwPqR71ghTsfJv0kMRnJZZ1QIPmBNoVd0mG
GjkYH+nAAp2viV8Gsf4nKq7LXHwoq9IBky/R/XKh+h5mAY7QD0zlEPXjg23N958h
RzjrFkWZbm51WGG0qa/9F7gqBRwkXAu/6BzWrJZwSmYUEdg41w6K4a4I6U8+MJuy
99XxEOAVGc2lnFGmlP9qLnMlDpPK0/k1RF19P51aefK2YnE6/QUi02yfFeIHZlgZ
wxntZ+49WGwXA91Q2psOdk/3Nd9LuLkxnb82Vh8BLOVWjz6SsgUpX1p0Kzy3ePau
LFNow/eXbZH/0KeJHpm3tnPQZbCcMmaoHB4gohsEorxyuyFQJS1bFJnLSgd4W53N
ebf0iQzFSuB1mlxuQeh8bVFWwIxIjNYfT/b7jivoIe/TdkCbFz9gzbgZGTMRREB3
/0/gxqTJgNwV1xXQn/2/Fs2fGZX76dAuZtONnNLXwfaAkFRtILarRDoJOjOmwnfG
0ToV/IV/4hpJSsXMdKIw/M1Kqq/1bVgFROHXs2pjGgsbbYGAF3+3YrCnYvANkj8a
w8eBABEBAAGJAjYEGAEIACAWIQS2lZCp9pfdRTV8SPNyUc6JM6NlDwUCXP921QIb
DAAKCRByUc6JM6NlD3pcD/wIQOppWFRo+2QG+Ph1cvAHVxGIuU+dIZHqZQtUacPP
ZJPwVUIat+0fOG5ph1ZyWnBCCv7bfImXZgxF9+f9/sp+9Dd2ywwEp+t8Ow8Y2CLA
uGQeLmOY2JXl8kf17d2tAK/9aDkcfSNOfsGSnDpu+iyun9p/Dd8ZOLivB9G+ID1g
JltBMJK3+c1iLsfatRHv1WmNEI9zn+Ugs002UaobwlqTRt2R2lnpJtakQmbcGaEY
bj4q/+lPYQHtd1OpTla4Y2e8OVhnNXBi/+GRm52Xd2UDUOILW8p7RUSm/8YHKt0x
VTFU7eKXLH8QbkQ7y6OVLDVXH+ZM6Nrb8pTU5jY9OV8NKk17ivVEy4HiXsjgGfZJ
vj93DW3kvWlzCN1+D/X+YRSLr+qv6ng6xMzs/kBs/blxzntxDCU3b7CD/s4eDYeA
9DfrqbkxFelNeVkb36Eb8PdmvrYoUgcKD47gMFXTUKwcHM0BpniJsOb+oN0/9yUh
wUehWRUFfxDo2vl1P9JaQgJuKXoCJgbfYBwThrm6d/s6dPqJsDbQHrqY5DeYNao+
/97ltySd4WN/41ZaZbPrnA0olHtfYYXdTgL14eW1V/lH0Goh5HpwddP7iGq6NSfY
rVEn/RXGCDmWis+xTU9tUJSwQObQUTsvBwpqloy7Sy0jBnxvBOUQcP0LF4QeG6gw
Hg==
=zB4p
-----END PGP PUBLIC KEY BLOCK-----