Extended implementationHEADmain

1 files changed, 4 insertions, 4 deletions

diff --git a/readme.md b/readme.md
index e6d9692..b067948 100644
--- a/readme.md
+++ b/readme.md
@@ -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