Dependently Typed Ethereum Contracts in Idris [pdf]publications.lib.chalmers.se4 pointsrwosync10 years ago