Skip to content

Commit d410013

Browse files
thautwarmthautwarm
committed
adjust corresponding to new specification
1 parent 0784aff commit d410013

13 files changed

File tree

python/Data/Bounded.py renamed to python-ffi/Data/Bounded.py

File renamed without changes.

python/Data/Eq.py renamed to python-ffi/Data/Eq.py

File renamed without changes.

python/Data/EuclideanRing.py renamed to python-ffi/Data/EuclideanRing.py

File renamed without changes.

python/Data/Functor.py renamed to python-ffi/Data/Functor.py

File renamed without changes.

python/Data/HeytingAlgebra.py renamed to python-ffi/Data/HeytingAlgebra.py

File renamed without changes.

python/Data/Ord.py renamed to python-ffi/Data/Ord.py

File renamed without changes.

python/Data/Ord/Unsafe.py renamed to python-ffi/Data/Ord/Unsafe.py

File renamed without changes.

python/Data/Ring.py renamed to python-ffi/Data/Ring.py

File renamed without changes.

python/Data/Semigroup.py renamed to python-ffi/Data/Semigroup.py

File renamed without changes.

python/Data/Semiring.py renamed to python-ffi/Data/Semiring.py

File renamed without changes.

0 commit comments

Comments
 (0)