10 ms·
There is some discussion on it here about TLA+ itself: https://news.ycombinator.com/item?id=14373359 https://news.ycombinator.com/item?id=14373359 Not about Ja
by mettamage 9y ago
There is some discussion on it here about TLA+ itself: https://news.ycombinator.com/item?id=14373359 https://news.ycombinator.com/item?id=14373359
Not about JavaScript though, but C and Java.
- elcapitan 9y agoThanks, will look into that - I read that Coq can generate Haskell etc, so I was wondering if something similar exists.