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.