Quint is an interesting lang, and the concept of 'executable spec' is definitely the direction to go in the age of AI vibe coding. And the language, Lambda, th

Quint is an interesting lang, and the concept of 'executable spec' is definitely the direction to go in the age of AI vibe coding. And the language, Lambda, that I designed and implemented has many similar characteristics: https://github.com/henry-luo/lambda https://github.com/henry-luo/lambda