An experiment in building a partial function evaluator for Solidity smart contracts.
Primary LanguageHaskell