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 | 340 | September 21, 2020 | |
|
Welcome to Alloytools
|
4 | 835 | August 11, 2020 | |
|
Alloy 6 Examples/Tutorials?
|
5 | 959 | April 3, 2023 | |
| Feedback on proposed Alloydocs? | 0 | 297 | September 18, 2020 | |
|
What documentation / learning material would you like to see?
|
9 | 586 | August 19, 2023 |