# Why This is Interesting * Propositions as types / programs as proofs * Done in Ethereum + Idris # Link to Paper(s) * [Paper](https://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf) # Additional Resources (optional) * [Conference Talk](https://www.youtube.com/watch?v=H2uwUdzVD9I)
