As a language nerd I always want to see some sample code, even if I can't understand what is happening yet. Just to get some of the flavor of the language. That's pretty hard to find on the site. I did find one of the tutorial decks [pdf] to serve this purpose though: http://alloy.mit.edu/alloy/tutorials/day-course/s2_language....