Idris to Serpent back end for Ethereum smart contracts
Primary LanguageHaskellOtherNOASSERTION
No issues in this repository yet.