C clarity-lang.org Clarity: A Decidable Language for Smart Contracts 6 points muneeb 6 years ago 2 comments