Dependently Typed Ethereum Contracts in Idris [pdf] #1 Post by rwosync » Sun, Jun 19, 2016, 2:02 AM UTC Dependently Typed Ethereum Contracts in Idris [pdf]publications.lib.chalmers.se