Steven Heidel

Could we implement this in in PyQuil with the wavefunction equivalent of the range operator? Something like: `twobit_wavefunction = wavefunction[0..2]`

The IntelliJ family of IDEs (Pycharm, etc) has support for Language Servers through a plugin: https://github.com/gtache/intellij-lsp

Note for those reading this PR: we made the decision offline to merge https://github.com/openqasm/openqasm/pull/351 first and then update this PR based on those changes

Note also that this assumes the change to `set_` commands from https://github.com/openqasm/openqasm/pull/354

I'm not sure if we ever defined what happens when multiple global phases are added. There are three choices for your example: 1) gphase(3), ie the last gphase takes precedence...

The TSC discussed today and agreed that gphases should accumulate. @nakrakiiya would you like to open a PR and add a sentence to the spec outlining this detail?

In my conversation with Ali, one thing we agreed on is that "gate declarations in QASM are for defining unitary matrices". Let's assume that we disallow conditionals within a gate...

> How much additional work would this involve? Naively, I would expect that upon reading a 'gate-like' invocation, one might consult a symbol table in any case to see whether...

I reviewed the revised proposal and support it (up to some minor details). I would like to ensure a majority of the TSC supports the high-level direction of the revised...

> The other question is can timing literals be used as arguments to any other OpenQASM functions, in particular I'm thinking of subroutines? And if so, what is the syntax...