Call-by-Value

Among some code fixes and improvements, this version brings 2 new features:

• :cbv option for evaluation. See more at Evaluate command documentation: https://github.com/sandrolovnicki/pLam#eval
• command history (accessible by UP keyboard arrow) is now saved across multiple pLam sessions, not just current session. History is saved in .plam-history file that is generated automatically

spaces, spaces

Fixed issues of meaningless spaces causing parse error:

• #10
• #11

:export

In this release, an Export command is introduced.

All your current environment expressions can be saved to import/foo.plam by typing :export foo within pLam's shell

List

This major release brings the syntactic sugar for lists!

NEW:

• support for list definitions with [expr1,expr2,...]
• list library
• result coloring

UPDATED:

• std library
• reduction steps coloring

FIXED:

• alphaEquiv bug where \y.x and \x.x ended up equivalent

fix run modes

• remove unnecessary "ignoring arguments..." message
• enable running without pLam header (with 'plam :nohead' command)

Run outside

This version brings the new useful feature of running .plam programs without entering pLam's shell.

Redex Coloring

In this version, we introduce redex coloring when viewing detailed reduction steps with :d option.

• left-most outer-most redex is colored cyan
• variables to be substituted are colored red
• argument to be substituted is colored green

Global run

In this version, a script for creating a global 'plam' command was added. Now users can easily setup pLam on their machine so that it can be run from anywhere by just typing 'plam' into terminal.

Stable and complete

Release with all desired functionality and behavior.