Commit 2ce5245f authored by Thorsten Wißmann's avatar Thorsten Wißmann 🐧

Use Z in zigzag

Since issue !4 is solved, we can now use Z again.
parent 23e62cf2
......@@ -8,11 +8,8 @@
# ZIGZAG(s(s(_, t), _)) = 2 + ZIGZAG(t)
#
# Source: [1, Example 17]
#
# FIXME: R should really be Z, but there is at the time of writing a parser bug
# in Z^X. (See https://git8.cs.fau.de/software/copar/issues/4)
Z × R^({a} + X×X)
Z × Z^({a} + X×X)
l: (1, { inj0 a: 1, inj1 (R, bot): 1, inj1 (r, bot): 1 })
r: (0, { inj0 a: 1, inj1 (bot, L): 1, inj1 (bot, l): 1 })
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment