pycoq

pycoq copied to clipboard

This is not pythonic and should be resolved:

make install && dune exec -- python3

not is this:

import os
os.chdir('_build/default')
import pycoq, coq

so if I ever want to run a python file I need to do make install && dune exec? This completely breaks people that use python's IDE e.g. pycharm and vscode.