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.
https://github.com/vindaloo-thesis/examples
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 ..