Dependently Typed Ethereum Contracts in Idris [pdf]publications.lib.chalmers.se4 points·rwosync··0 commentsOpen articleSaveView on HN