frenetic-lang/frenetic — pull request #127 by jnfoster (2013-10-28 20:08:05+00:00)
Title: Choice

Big pull request from the semantics branch. This incorporates (if I haven't screwed anything up) Spiros and Arjun's latest fixes.