1.0.4 (????-??-??)

Bug Fixes

Features

#9 Add a toggle to enable ascii-mode support for simple terminals.

1.0.3 (2017-02-15)

Bug Fixes

dc5abb2 Regression introduced by d1314ae: properly reduce repl commands.

Features

#7 Jline (GNU readline-esque) REPL support
#8 Minimize the number of parentheses used during stringification

1.0.2 (2017-02-14)

Bug Fixes

#4 reset did not revert back to the empty state.
#5 Context must be mutable during reload commands.

Features

2c5aad9 Sort REPL assignments alphabetically and indent them with 10 chars.
7c59ffd Reload all files instead of the last one.
#3 Transitively load additional files if load commands are encounterd while reading files.
#6 Add a command to render an expression in De Bruijn Index notation.

1.0.1 (2017-02-08)

Bug Fixes

1702493 REPL assignments must be capitalized.

Features

#1 The REPL now supports the load command to load a file in the current context.
#2 Add support for a reload command to reload the last file again.

Initial release (2017-02-08)

Initial release of lcpi.