MANIFEST.in
setup.py
src/ACT4E_exercises.egg-info/PKG-INFO
src/ACT4E_exercises.egg-info/SOURCES.txt
src/ACT4E_exercises.egg-info/dependency_links.txt
src/ACT4E_exercises.egg-info/not-zip-safe
src/ACT4E_exercises.egg-info/top_level.txt
src/act4e_interfaces/__init__.py
src/act4e_interfaces/finite.py
src/act4e_interfaces/generic.py
src/act4e_interfaces/types.py
src/act4e_interfaces/data/adj1.adjunction.yaml
src/act4e_interfaces/data/cat1.semicat.yaml
src/act4e_interfaces/data/dp1.dp.yaml
src/act4e_interfaces/data/fun1.functor.yaml
src/act4e_interfaces/data/map1.map.yaml
src/act4e_interfaces/data/monoid1.monoid.yaml
src/act4e_interfaces/data/nat1.nat.yaml
src/act4e_interfaces/data/parts1.parts.yaml
src/act4e_interfaces/data/poset1.poset.yaml
src/act4e_interfaces/data/pre1.preorder.yaml
src/act4e_interfaces/data/prof1.profunctor.yaml
src/act4e_interfaces/data/rel1.finrel.yaml
src/act4e_interfaces/data/set1.finset.yaml
src/act4e_interfaces/data/sm1.semigroup.yaml
src/act4e_utils/__init__.py
src/act4e_utils/data.py