discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Safer smart contracts through type-driven development in idris [pdf]
http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf
2 comments
20/7/2016
Reddit
Safer smart contracts through type-driven development : Idris
https://www.reddit.com/r/idris/comments/4or5m0/safer_smart_contracts_through_typedriven/
6 comments
20/6/2016
programming