Not sure if this is a ZEves parser or ZEves eclipse problem, but schema bindings are being printted the other way round.
ex: Piece == [ x, y: \nat ]
expression containing \theta Piece[x := input?]
is printted as \theta Piece[input? := x]
L
Log in to post a comment.
