Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Quint – a new language based on TLA+ with modern syntax and developer tooling | Better HN
Quint – a new language based on TLA+ with modern syntax and developer tooling
(opens in new tab)
(github.com)
5 points
mmmmkay
2y ago
1 comments
Share
1 comments
default
newest
oldest
fithisux
2y ago
This is what we call applied CS.
Congratulations.
j
/
k
navigate · click thread line to collapse
