From a253508c09f22cd3a85bc13a3595fb463ff4d4c7 Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Fri, 22 Dec 2023 00:50:47 +0300
Subject: [PATCH] Update README

---
 README.md | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index fb3b23ab0..c522d0d01 100644
--- a/README.md
+++ b/README.md
@@ -30,6 +30,14 @@ normalize-phi < FILE
 
 The output should be a 𝜑-term after normalization.
 
+```sh
+echo "{ φ ↦ {}, a ↦ ξ.a }" | normalize-phi
+```
+
+```
+{ φ ↦ { }, a ↦ { } }
+```
+
 ## Development
 
 The project is developed with the [Stack tool](https://docs.haskellstack.org/en/stable/README/).
@@ -59,5 +67,3 @@ To run (all) tests, simply use
 ```sh
 stack test
 ```
-
-[^1]: