Idris to Serpent back end for Ethereum smart contracts
Clone or download
#1 Compare This branch is 151 commits ahead, 4 commits behind edwinb:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
lib
src
.gitignore
CRAPL-LICENSE.txt
Makefile
README.md
bank2np.se
bank2trace.py
idris-se.cabal

README.md

Idris to Serpent back end

Proof-of-concept compiler back end for Ethereum smart contracts written in Idris. Compiles down to Serpent. Far from ready for production - output code exceeds gas limit even for very trivial programs.

Examples

https://github.com/vindaloo-thesis/examples

Build and install

Tested with Idris version 0.10. Idris needs to be built with FFI support.

cabal install
cd lib && idris --build ethereum.ipkg -i lib --interface; cd ..