Clarity: A Decidable Language for Smart Contractsclarity-lang.org6 points·muneeb··2 commentsOpen articleSaveView on HN