1. Peter_Sewell
  2. lem
Issue #35 resolved

parsing of greater seems broken

Thomas Tuerk
created an issue

There seems to be a problem parsing >=. For example

assert greater_eq_1: (3 >= 2)

causes a syntax error now.

Comments (1)

  1. Log in to comment