Types (and Type Inference) in the Pact Smart Contract Languagekadena.io2 points·spopejoy··0 commentsOpen articleSaveView on HN