-
Jamie A. Jennings authored
Now using rpl_1_3 with shunting yard. Made some changes to rpl_1_3.rpl, and could do some optimizations to infix.to_prefix() if we wanted. In particular, quantifiers are now always inside a "term". Most tests pass, except for some rpl-future ones.
15cf6197