frenetic-lang/frenetic — pull request #324 by arjunguha (2014-07-30 16:18:18+00:00)
Title: A camlp4 extension to write NetKAT terms.

Also included is the NetKAT.Std module, which makes simple applications less
noisy.

Pair-coded with @jnfoster with significant advice from @avsm