Executable Specs for Reliable Systems(quint-lang.org)1 ポイント·投稿者 perpetua·4 か月前·1 コメントquint-lang.orgExecutable Specs for Reliable Systemshttps://quint-lang.org/1 コメントコメントを投稿[–]henryluo·4 か月前返信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
And the language, Lambda, that I designed and implemented has many similar characteristics: https://github.com/henry-luo/lambda