Up: Index. Previous: Command line. Next: About this program.
You shouldn't normally have to worry about the file format used by Lambda Calculator: The Import... and Export... menu options should use it transparently. The files, however, are very easy to read and modify.
They are text files, and the lines alternate between symbol names and their definitions. The symbol lines must not begin with a space, and definition lines must begin with a space. The symbols can be defined in any order.
1Lambda Calculator makes some attempt to generate meaningful error messages when it cannot interpret an input file properly.
\f.\x.f x
inc
\a.\f.\x.f (a f x)
*
\a.\b.\f.a (b f)
Up: Index. Previous: Command line. Next: About this program.