GitHub repository: mbenke/hm-typecheck
Primary language: Haskell
Created: 2024-01-02T07:47:14Z
Description: Experimental typechecker for  a Solidity intermediate language