diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,13 +1,13 @@ # Sharing equality of $\lambda$-graphs -A reference implementation of the algorithms presented in \[0\]. +A *reference implementation* of the algorithms presented in \[0\]. I documented my approach of building the shared $\lambda$-graph [in an article](https://text.marvinborner.de/2023-05-30-16.html). -## Instructions - -- `make && ./build/sharing file.blc` +This project does not really have any purpose except for the +implementation itself. Its usage requires some adaption and +modification. ## Libraries |