Loading input from a file

User sessions can be loaded to lc by typing

LC Session

lc> @load "filename.lc"
lc>

or for convenience

LC Session

lc> @load "filename"
lc>

where filename.lc is any file containing syntactically correct lc functions. lc will treat the contents of filename.lc in exactly the same way, as if you had typed them in from the keyboard. You can also omit the suffix .lc: lc will then search first for filename.lc and then for filename. It is strongly recommended that you use the lc-suffix for lc-programs.