New blog post: TLA⁺ is more than a DSL for breadth-first search

160 views

Skip to first unread message

Andrew Helwer

unread,

Sep 18, 2024, 1:15:08 PM9/18/24

to tlaplus

I wrote a blog post about how TLA⁺ is more than a DSL for breadth-first search - two other ways of looking at it, and what they could mean for any language wanting to be its successor!

https://ahelwer.ca/post/2024-09-18-tla-bfs-dsl/

Andrew Helwer

Reply all

Reply to author

Forward

0 new messages