• Gregory Malecha's avatar
    ascii notation for most iris operators. · c1a30c58
    Gregory Malecha authored
    - all ascii notation is marked "only parsing" so this PR shouldn't
      change anything for anyone using only unicode notation.
    - the algorithm for creating an ascii notation is pretty simple.
      - \ast -> *
      - \triangleright -> |>
      - \vee -> \/
      - \wedge -> /\
      - \forall -> forall
      - \exists -> exists
      - \ast -> **
    c1a30c58
ascii.v 5.14 KB