add py.typed marker - Githubissues

inducer / islpy

Python wrapper for isl, an integer set library

http://pypi.python.org/pypi/islpy

73 stars 19 forks source link

Closed matthiasdiener closed 1 year ago

inducer commented 1 year ago

But... there are no type annotations?

matthiasdiener commented 1 year ago

Hmm, I had looked at the docs (e.g., https://documen.tician.de/islpy/ref_set.html#islpy.BasicSet.add_dims), which do contain type annotations, but they don't seem to be available through mypy :-/