HigherOrderCO
THEOREMS.md reference `kind` executable
Describe the bug
When installing the Kind toolchain the kind-scm command is installed. When I read THEOREMS.md the command is named kind.
To Reproduce
Steps to reproduce the behavior:
- Following installation instructions for Ubuntu
- Read
THEOREMS.md
Expected behavior
I would expect that the command referenced in the the THEOREMS.md to be called kind-scm.
Environment (please complete the following information):
- OS: Ubuntu
- Kind version: [email protected]
Additional context
It might be that the kind command is renamed due to conflicts with Kubernetes as mentioned in issue #242
I am more than willing to make the change in the documentation if it is indeed the case that it should read kind-scm.
I agree the documentation commands should work without changes. What's happening is that the language has two releases: a javascript release called kind and a newer scheme release called kind-scm. I think the solution is to rename the js release as kind-js and give the option to create kind as an alias in both installations. What do you think? Also, was the installation process smooth for you?
Ah, that makes sense. I did not install Kind from npm.
Your suggestion seems reasonable to me. It would also sit nice with issue #242.
The installation process went with a small hitch, but nothing that I could not solve myself. It might be off topic, but the hitch was that I installed the latest debian binary package via the command-line. It failed because it was missing chezscheme.
Closed because the repository now only contains the code for the Kind2 language.
