Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bringing AlphaRegexPublic up-to-date with dune #5

Closed
wants to merge 3 commits into from
Closed

Bringing AlphaRegexPublic up-to-date with dune #5

wants to merge 3 commits into from

Conversation

martinberger
Copy link

Several small updates, to bring AlphaRegexPublic up-to-date with 2021 OCaml technology:

  • Added a very basic dune script (and added a .gitignore to make git less noisy when using dune)
  • Fixed the type-casting errors following the pull request added type casting to avoid type errors #3
  • Added a note on the dune build

… OCaml technology:

- Added a very basic dune script (and added a .gitignore to make git less noisy when using dune)
- Fixed the type-casting errors following #3
- Added a note on the dune build
@martinberger martinberger closed this by deleting the head repository Feb 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant