|
|
|
|
|
|
by henryluo
84 days ago
|
|
|
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 |
|
|