Y
Hacker News
new
|
ask
|
show
|
jobs
by
Kevin09210
916 days ago
Clojure to TLA+
https://github.com/Viasat/salt
Successor:
https://github.com/Viasat/halite
1 comments
bugarela
916 days ago
I didn't take a very deep look yet, but this might be similar to
https://github.com/pfeodrippe/recife
link