[email protected]
@mlabs-haskell Chiang Mai Haskell and Python programmer. Smart-contracts, PL theory and formal methods enthusiast.
Gregory Gerasev