Salt – An experimental tool to convert a subset of Clojure into TLA+github.com5 points·macmac··0 commentsOpen articleSaveView on HN