diff --git a/README.md b/README.md index 4fe6301..edbc7b2 100644 --- a/README.md +++ b/README.md @@ -25,35 +25,35 @@ Write your functional specification. **wchb1b.cog** ``` region 1 { - L.f- and L.t-; - await L.e; + L.f- and L.t- + await L.e while { - L.f+ xor L.t+; - await ~L.e; - L.f- and L.t-; + L.f+ xor L.t+ + await ~L.e + L.f- and L.t- await L.e } } and { - L.e+ and R.f- and R.t-; - await R.e & ~L.f & ~L.t; + L.e+ and R.f- and R.t- + await R.e & ~L.f & ~L.t while { await R.e & L.f { R.f+ } or await R.e & L.t { R.t+ - }; - L.e-; - await ~R.e & ~L.f & ~L.t; - R.f- and R.t-; + } + L.e- + await ~R.e & ~L.f & ~L.t + R.f- and R.t- L.e+ } } and region 1 { - R.e+; - await ~R.f & ~R.t; + R.e+ + await ~R.f & ~R.t while { - await R.f | R.t; - R.e-; - await ~R.f & ~R.t; + await R.f | R.t + R.e- + await ~R.f & ~R.t R.e+ } } diff --git a/lib/parse_cog b/lib/parse_cog index e9b4b28..d1d3917 160000 --- a/lib/parse_cog +++ b/lib/parse_cog @@ -1 +1 @@ -Subproject commit e9b4b28dc6d45fe45c00b29e075eeb68b1aa18d4 +Subproject commit d1d3917ce2de8c6782175d19e956677d6ef27baa