Monday, June 20, 2016

Safer smart contracts through type-driven development : Idris

http://ift.tt/28IET2C

Submitted June 20, 2016 at 07:38AM by gallais http://ift.tt/28ILAQY Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)