Salt – An experimental tool to convert a subset of Clojure into TLA+github.com/Viasat5 pointsmacmac7 years ago