4 ms·
"Spectacle" is a Haskell DSL for writing TLA+ specifications: https://awakesecurity.com/blog/spectacle-a-language-for-writing-and-checking-formal-specifications
by danidiaz 5y ago
"Spectacle" is a Haskell DSL for writing TLA+ specifications: https://awakesecurity.com/blog/spectacle-a-language-for-writing-and-checking-formal-specifications-in-haskell/ https://awakesecurity.com/blog/spectacle-a-language-for-writ...
- hwayne 5y agoIt's inspired by TLA+, but it uses a different semantics, I think.