search

impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

[build] Initial port to Dune #12

Closed ejgallego closed 1 year ago

ejgallego commented 1 year ago

This was done at the interest of Vincent WENDLING for jsCoq use.

The setup is fairly standard, other than excluding the deprecated dir (which doesn't compile)