Hst hst

Merge branch 'master' into rel

• master: (37 commits) “create-source-package” script now works with any version Updating README and INSTALL to mention CSPM library “let”s now allow pattern definitions and multiple-branch functions Functions defined in multiple branches Lambda expressions now implemented using patterns, too Patterns on left-hand sides of top-level definitions Lambdas now implemented using patterns Adding Show instance for patterns Initial pattern matching support Implementing built-in functions as keywords Allow newlines before and after binary operators Prefix CSPM expressions should create “event” CSP₀ statements CSP₀ identifiers can now contain periods Adding process expressions to CSPM parser Definitions no longer need to be in alphabetical order Allow trailing newlines at end of CSPM script Parentheses in expressions Adding additional (non-QuickCheck) testing harness Simple “channel” statement Top-level script no longer implemented as an implicit “let” statement ... http://github.com/hst/hst/commit...