Skip to content

Instantly share code, notes, and snippets.

@note

note/Basic.als

Created May 21, 2020
Embed
What would you like to do?
Code snippet for Alloy tutorial: Basics
// Signatures:
sig A {}
// Predicates and facts
pred show {}
// Assertions:
// Commands
run show for 3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.