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)
commitb11f541f7d0b67f2871f1c7fed731155b1808343
tree235e1e124d0cfaf62c1fae857f9770c0b6a205e9
parenta8cc8a42f676a1ab1ddca1c84b017d059610783d
Allow for ordering of symbols in the lambda prettyprinter.

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.
pret-lam.lua