Skip to content

Add required tools to use this repo #8

@pedrobslisboa

Description

@pedrobslisboa

Description

There are a few tools that we need to be able to run this repo, such as opam, dune, make, etc...

We must add a topic related to it and other requirements to the readme.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions