Y
Hacker News
new
|
ask
|
show
|
jobs
polyglotfacto2
3 days ago
[
-
]
Use TLA+ (which I thought they did)
Please enable JavaScript to continue using this application.