Releases: chatziko/lci
Releases · chatziko/lci
v1.1
Several new features since v1.0:
- WASM support for running LCI in a browser
- Support multiple encodings of numerals (Church, Scott, etc)
- Add
let
syntax, eglet x = 1 in x + x
- Add auto-completion of aliases and system commands
- Rewrite several functions in
.lcirc
using folds - Consult file from the command line with
lci <file>
- Several small fixes
v1.0
First major release, 18 years in the making 😄
- Replace custom parser with dparser (much easier to extend).
- Use sting interning, gives 2x speedup (thanks to @baziotis).
We can now solve 8-queens in the pure calculus. - Support
[a,b,c]
list notation in parser (syntactic sugar fora:b:c:Nil
). - Migrate from autotools to cmake.
- Replace readline by replxx (no external dependencies, windows support).
- Use same syntax in files and REPL (eg aliases can be defined in the REPL).
- Print
\x.x
asI
(looks good since1
reduces toI
). - Various polishing, cleanup and performance enhancements.
- Add simple tests, run them in gh-actions.