I’ve enjoyed this blog post from @hwayne yesterday! Good exposition on facts vs predicates, as discussed previously here.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
GuessTheSpec #1
|
1 | 341 | September 21, 2020 | |
Welcome to Alloytools
|
4 | 841 | August 11, 2020 | |
Alloy 6 Examples/Tutorials?
|
5 | 1007 | April 3, 2023 | |
Feedback on proposed Alloydocs? | 0 | 298 | September 18, 2020 | |
What documentation / learning material would you like to see?
|
9 | 588 | August 19, 2023 |