Added Pipe and Query to Raw NetKAT Syntax

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System

http://www.frenetic-lang.org/

Other

223 stars 51 forks source link

Closed craig-riecke closed 8 years ago

craig-riecke commented 8 years ago

NetKAT now supports syntax for pipes and queries:

filter port = 1; port := pipe("ctrl") |
filter port = 2; port := query("qry") |
filter port = 3; port := 1

smolkaj commented 8 years ago

Nice! (I can't believe the surface syntax didn't expose this yet...)