Clarity: A Decidable Language for Smart Contracts | Dark Hacker News