blexim/synth — pull request #2 by cristina-david (2014-05-23 16:13:24+00:00)
Title: Existential

Added support for existential variables.