1 points | by perpetua 5 hours ago ago
1 comments
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
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