From a3d6eca088e5780d6b696f5d5cd0728bf5aabb68 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Sat, 25 Sep 2021 20:21:27 +0200
Subject: [PATCH 1/2] Update README.md

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

diff --git a/README.md b/README.md
index 3fe8c4c..3f4d299 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ programming language, HCPL is similar to Lisp but with more syntactic
 sugar.
 
 Features
-========
+--------
 * Functional language with pattern matching, macros, modules and
   custom syntax extensions.
 * Relatively efficient interpreter, with unboxed values, etc.
@@ -19,7 +19,7 @@ The current version is a prototype, but it is complete and stable
 enough to be usable.
 
 Requirements
-============
+------------
 * OCaml
 * dune
 * m4, sed, diff, GNU make
@@ -30,7 +30,7 @@ recommended, because syntax highlighting is available and
 automatically installed for it.
 
 Installation and usage
-======================
+----------------------
 
 To compile HCPL type:
 ```
@@ -59,7 +59,7 @@ options. To remove HCPL from your system type: `uninstall-hcpl` (note:
 this will remove the data directory completely).
 
 Examples
-========
+--------
 
 The [`examples/`](examples) subdirectory of the data directory
 contains commented examples which form a tutorial introduction to
@@ -70,7 +70,7 @@ highlighting is installed for this editor. In case the highlighting
 does not work, there are also html versions of the examples.
 
 Copyright and license
-=====================
+---------------------
 
 Copyright (C) 2013-2021 by Lukasz Czajka
 

From 0f5a3eb57590db61e875f80420035b3922396540 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Sat, 2 Oct 2021 16:28:05 +0200
Subject: [PATCH 2/2] Update README.md

---
 README.md | 19 +++++++------------
 1 file changed, 7 insertions(+), 12 deletions(-)

diff --git a/README.md b/README.md
index 3f4d299..66f0d58 100644
--- a/README.md
+++ b/README.md
@@ -1,15 +1,14 @@
 HCPL is a programming language and a proof checker based on illative
 combinatory logic - a foundational system dating back to the work of
-Haskell Curry and his school. In one sentence, one could (somewhat
-metaphorically) say that the logic is dynamically typed. As a
-programming language, HCPL is similar to Lisp but with more syntactic
-sugar.
+Haskell Curry and his school. One could say that the logic is dynamically 
+typed. As a programming language, HCPL is similar to Lisp but with more 
+syntactic sugar.
 
 Features
 --------
 * Functional language with pattern matching, macros, modules and
   custom syntax extensions.
-* Relatively efficient interpreter, with unboxed values, etc.
+* Relatively efficient interpreter with unboxed values.
 * Higher-order illative logic with basic support for inductive
   datatypes.
 * Rudimentary tactics and standard library.
@@ -23,11 +22,7 @@ Requirements
 * OCaml
 * dune
 * m4, sed, diff, GNU make
-* Kate text editor
-
-The Kate text editor is not strictly necessary, but highly
-recommended, because syntax highlighting is available and
-automatically installed for it.
+* Kate text editor (optional)
 
 Installation and usage
 ----------------------
@@ -65,14 +60,14 @@ The [`examples/`](examples) subdirectory of the data directory
 contains commented examples which form a tutorial introduction to
 HCPL. Some knowledge of logic and functional programming is necessary
 to understand them. You should read the examples in their numerical
-order. Preferably, *.hcpl files should be edited in Kate as syntax
+order. Preferably, `*.hcpl` files should be edited in Kate as syntax
 highlighting is installed for this editor. In case the highlighting
 does not work, there are also html versions of the examples.
 
 Copyright and license
 ---------------------
 
-Copyright (C) 2013-2021 by Lukasz Czajka
+Copyright (C) 2013-2021 by Lukasz Czajka.
 
 HCPL is distributed under the MIT license. See the [LICENSE](LICENSE)
 file.