Welcome to Discopyro’s documentation!

discopyro

discopyro package

Submodules

discopyro.callable module

discopyro.freecat module

discopyro.unification module

Module contents

Package containing the basic logic of Discopyro, including types, callable boxes, and free categories.

Indices and tables