Hacker News new | ask | show | jobs
Dependently Typed Ethereum Contracts in Idris [pdf] (publications.lib.chalmers.se)
4 points by rwosync 3655 days ago