Syntax for Beluga fles (http://www.cs.mcgill.ca/~complogic/beluga/) - View it on GitHub