diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -2,11 +2,19 @@ > **c**alm **a**bstract **l**ambda **m**achine -- aggressive multi-threaded reduction of lambda calculus expressions -- small memory footprint +- aggressive reduction of lambda calculus expressions +- small memory footprint without leaks +- uses [hash-based shared + λ-graphs](https://text.marvinborner.de/2023-05-30-16.html) +- reducer of [larsux](https://github.com/marvinborner/larsux) ## Note +The used reduction strategy works best if the reducer and scheduler +support parallel execution using multi-threading. While planned for the +future, this is currently not implemented due to quite a lot additional +complexity. + This repository also contains an implementation of the RKNL abstract machine. You can find it in the `rknl` branch. |