From cf7aba15aafaed58b788b37ab2130e58a3b5af88 Mon Sep 17 00:00:00 2001
From: Michael Hanus <mh@informatik.uni-kiel.de>
Date: Mon, 4 Oct 2021 13:50:04 +0200
Subject: [PATCH] README updated
---
README.md | 8 +++++++-
examples/{expr_parser.curry => ExprParser.curry} | 0
2 files changed, 7 insertions(+), 1 deletion(-)
rename examples/{expr_parser.curry => ExprParser.curry} (100%)
diff --git a/README.md b/README.md
index 1a20057..bd01b63 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,13 @@ The idea and structure of these combinators are adapted from:
This paper contains a detailed description of the idea and usage
of these parser combinators.
-The `examples` directory contains some examples for using
+The `examples` directory contains examples for using
these combinators for parsing.
+* `Palindrome.curry`:
+ a parser for palindromes over the alphabet 'a' and 'b'
+ showing also the possibility to generate correct sentences
+ with functional logic parsers
+* `ExprParser.curry`: a parser for arithmetic expressions over natural numbers
+
--------------------------------------------------------------------------
diff --git a/examples/expr_parser.curry b/examples/ExprParser.curry
similarity index 100%
rename from examples/expr_parser.curry
rename to examples/ExprParser.curry
--
GitLab