Closed Duncan-McD closed 3 years ago
Added the opam file for our project including the dependencies. Therefore, we can now install from this opam file instead of the bash script
I also updated the documentation in the README.md for this as well as removing the deps.sh file
Fixes: #4
Added the opam file for our project including the dependencies. Therefore, we can now install from this opam file instead of the bash script
I also updated the documentation in the README.md for this as well as removing the deps.sh file
Fixes: #4