Update README

objectionary · Dec 21, 2023 · c7727b5 · c7727b5
1 parent 5090c9d
commit c7727b5
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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/).