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 =====================