Allow for ordering of symbols in the lambda prettyprinter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 9 Dec 2009 09:02:36 +0000 (10:02 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 9 Dec 2009 09:02:36 +0000 (10:02 +0100)
By using an array instead of a table, the symbols can be ordered. This
allows using symbols where one is a prefix of the other, by placing the
longer one first.


No differences found