There was an error while loading. Please reload this page.
c725e45
Fixed a parser bug.
Better printing of free variables, retaining their names.