_ _ _ | | | | _____ ____| |_ _ | |_| |/ _ \ \ /\ / / _` | | | | | _ | (_) \ 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-----