From 181742084d3008fa5ab23ace57e8fa2ddfabc918 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 31 May 2023 12:21:03 +0200
Subject: Extended implementation

---
 readme.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'readme.md')

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
 
-- 
cgit v1.2.3