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.

Sign up for GitHub

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

Jump to bottom

Remove everything from zenon_modulo that is not used by ekstrakto ? #5

Open

fblanqui opened this issue Nov 5, 2019 · 0 comments

Member

fblanqui commented Nov 5, 2019

There are many things coming from zenon_modulo that are not useful for ekstrakto.

In phrase.ml, almost every thing except the contents of phrase.mli.

Similarly, there seems to be various things in expr.ml that could be removed.

Is namespace really useful either?

Finally, we could remove the things of misc.ml that are not used too.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment