setup.json
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/entry_points.txt
src/ACT4E_exercises.egg-info/requires.txt
src/ACT4E_exercises.egg-info/top_level.txt
src/ACT4E_exercises.egg-info/zip-safe
src/act4e_checks/__init__.py
src/act4e_checks/actual_tests.py
src/act4e_checks/data.py
src/act4e_checks/intro.py
src/act4e_checks/loading.py
src/act4e_checks/maps.py
src/act4e_checks/posets_bounds.py
src/act4e_checks/posets_construction.py
src/act4e_checks/posets_interval.py
src/act4e_checks/posets_lattices.py
src/act4e_checks/posets_maps.py
src/act4e_checks/posets_monoidal.py
src/act4e_checks/posets_product.py
src/act4e_checks/posets_representation.py
src/act4e_checks/posets_sum.py
src/act4e_checks/posets_utils.py
src/act4e_checks/relations.py
src/act4e_checks/semigroups.py
src/act4e_checks/setoids_operations.py
src/act4e_checks/sets.py
src/act4e_checks/sets_power.py
src/act4e_checks/sets_product.py
src/act4e_checks/sets_representation.py
src/act4e_checks/sets_sum.py
src/act4e_checks/sets_union_inter.py
src/act4e_checks/sets_utils.py
src/act4e_checks/todo.py
src/act4e_checks/good/__init__.py
src/act4e_checks/good/finite_set.py
src/act4e_checks/good/finite_set_representation.py
src/act4e_checks/good/intro.py
src/act4e_checks/thedata/__init__.py
src/act4e_checks/thedata/categories.yaml
src/act4e_checks/thedata/categories_composite.yaml
src/act4e_checks/thedata/dps.yaml
src/act4e_checks/thedata/dps_composite.yaml
src/act4e_checks/thedata/functors.yaml
src/act4e_checks/thedata/graphs.yaml
src/act4e_checks/thedata/maps.yaml
src/act4e_checks/thedata/natural.yaml
src/act4e_checks/thedata/posets.yaml
src/act4e_checks/thedata/posets_composite.yaml
src/act4e_checks/thedata/relations.yaml
src/act4e_checks/thedata/semigroups.yaml
src/act4e_checks/thedata/semigroups_morphisms.yaml
src/act4e_checks/thedata/sets.yaml
src/act4e_checks/thedata/sets_composite.yaml
src/act4e_interfaces/__init__.py
src/act4e_interfaces/adjunctions.py
src/act4e_interfaces/adjunctions_representation.py
src/act4e_interfaces/categories.py
src/act4e_interfaces/categories_monoidal.py
src/act4e_interfaces/categories_representation.py
src/act4e_interfaces/dps.py
src/act4e_interfaces/dps_representation.py
src/act4e_interfaces/exceptions.py
src/act4e_interfaces/functors.py
src/act4e_interfaces/functors_representation.py
src/act4e_interfaces/helper.py
src/act4e_interfaces/intro.py
src/act4e_interfaces/maps.py
src/act4e_interfaces/maps_representation.py
src/act4e_interfaces/natural.py
src/act4e_interfaces/natural_representation.py
src/act4e_interfaces/posets.py
src/act4e_interfaces/posets_bounds.py
src/act4e_interfaces/posets_construction.py
src/act4e_interfaces/posets_interval.py
src/act4e_interfaces/posets_lattices.py
src/act4e_interfaces/posets_maps.py
src/act4e_interfaces/posets_monoidal.py
src/act4e_interfaces/posets_product.py
src/act4e_interfaces/posets_representation.py
src/act4e_interfaces/posets_sum.py
src/act4e_interfaces/profunctors.py
src/act4e_interfaces/profunctors_representation.py
src/act4e_interfaces/relations.py
src/act4e_interfaces/relations_representation.py
src/act4e_interfaces/semigroups.py
src/act4e_interfaces/semigroups_operations.py
src/act4e_interfaces/semigroups_representation.py
src/act4e_interfaces/sets.py
src/act4e_interfaces/sets_power.py
src/act4e_interfaces/sets_product.py
src/act4e_interfaces/sets_representation.py
src/act4e_interfaces/sets_sum.py
src/act4e_interfaces/sets_union_inter.py
src/act4e_interfaces/types.py
src/act4e_interfaces/z_ex_rope.py