/solidity-partial-evaluator

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

Primary LanguageHaskell

Watchers