Packaging
When we're happy with everything, let's have cduce as an opam package, a debian package too and other distros.
I think this will be the first milestone before going further with more "algorithmic" improvements
When we're happy with everything, let's have cduce as an opam package, a debian package too and other distros.
I think this will be the first milestone before going further with more "algorithmic" improvements