Documentation out of dateLearn more
Installation
The process to install STELF is intended to be streamlined and easy
If you have issues with the installation, please report them.
Installation Steps
Section titled “Installation Steps”- Have
opaminstalled, instructions here - In this directory, run
opam switch create . - In this directory, run
opam install dune - Run
dune build @install
Editor Setup
Section titled “Editor Setup”Neovim
Section titled “Neovim”TODO

