Live data from Hacker News

Quint – a new language based on TLA+ with modern syntax and developer tooling

Post reply on HN

Print view View original

1–2 of 2 posts

Quint – a new language based on TLA+ with modern syntax and developer tooling

#1

Post by mmmmkay » Sun, Jul 09, 2023, 2:38 PM UTC

Quint – a new language based on TLA+ with modern syntax and developer tooling
github.com

Re: Quint – a new language based on TLA+ with modern syntax and developer tooling

#2

Post by fithisux » Sun, Jul 09, 2023, 3:04 PM UTC

This is what we call applied CS.

Congratulations.

Post reply on HN