From 36582966b188eac9663c882f820cc37e5c7e6f89 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Sat, 25 Sep 2021 20:02:36 +0200 Subject: [PATCH] README --- README.md | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 0eb1f78..3fe8c4c 100644 --- a/README.md +++ b/README.md @@ -18,17 +18,6 @@ Features The current version is a prototype, but it is complete and stable enough to be usable. -Examples -======== - -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 -highlighting is installed for this editor. In case the highlighting -does not work, there are also html versions of the examples. - Requirements ============ * OCaml @@ -69,6 +58,17 @@ file.hcpl` or `hcpl -i` for REPL. Type `hcpl --help` for a list of 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 +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 +highlighting is installed for this editor. In case the highlighting +does not work, there are also html versions of the examples. + Copyright and license =====================