faylang/fay — pull request #292 by akamaus (2013-05-17 07:23:47+00:00)
Title: Support for existential quantification

Forgot to push that while working on Odhac