Rename libraries -> libs

fstoqnov-iohk · Sep 23, 2021 · d3e8203 · d3e8203
1 parent 9537ad1
commit d3e8203
Show file tree

Hide file tree

Showing 109 changed files with 8 additions and 8 deletions.
diff --git a/cabal.project b/cabal.project
@@ -13,14 +13,14 @@ packages:
   eras/shelley/test-suite
   eras/shelley-ma/impl
   eras/shelley-ma/test-suite
-  libraries/cardano-ledger-core
-  libraries/cardano-ledger-example-shelley
-  libraries/cardano-ledger-test
-  libraries/cardano-protocol-tpraos
-  libraries/plutus-preprocessor
-  libraries/shelley-spec-non-integral
-  libraries/small-steps
-  libraries/small-steps-test
+  libs/cardano-ledger-core
+  libs/cardano-ledger-example-shelley
+  libs/cardano-ledger-test
+  libs/cardano-protocol-tpraos
+  libs/plutus-preprocessor
+  libs/shelley-spec-non-integral
+  libs/small-steps
+  libs/small-steps-test
 
 -- Always write GHC env files, because they are needed by the doctests.
 write-ghc-environment-files: always

diff --git a/libraries/cardano-ledger-core/CHANGELOG.md → libs/cardano-ledger-core/CHANGELOG.md b/libraries/cardano-ledger-core/CHANGELOG.md → libs/cardano-ledger-core/CHANGELOG.md
diff --git a/...ano-ledger-core/cardano-ledger-core.cabal → ...ano-ledger-core/cardano-ledger-core.cabal b/...ano-ledger-core/cardano-ledger-core.cabal → ...ano-ledger-core/cardano-ledger-core.cabal
diff --git a/...ledger-core/src/Cardano/Ledger/Address.hs → ...ledger-core/src/Cardano/Ledger/Address.hs b/...ledger-core/src/Cardano/Ledger/Address.hs → ...ledger-core/src/Cardano/Ledger/Address.hs
diff --git a/...-core/src/Cardano/Ledger/AuxiliaryData.hs → ...-core/src/Cardano/Ledger/AuxiliaryData.hs b/...-core/src/Cardano/Ledger/AuxiliaryData.hs → ...-core/src/Cardano/Ledger/AuxiliaryData.hs
diff --git a/...dger-core/src/Cardano/Ledger/BaseTypes.hs → ...dger-core/src/Cardano/Ledger/BaseTypes.hs b/...dger-core/src/Cardano/Ledger/BaseTypes.hs → ...dger-core/src/Cardano/Ledger/BaseTypes.hs
diff --git a/...no-ledger-core/src/Cardano/Ledger/Coin.hs → ...no-ledger-core/src/Cardano/Ledger/Coin.hs b/...no-ledger-core/src/Cardano/Ledger/Coin.hs → ...no-ledger-core/src/Cardano/Ledger/Coin.hs
diff --git a/...er-core/src/Cardano/Ledger/Compactible.hs → ...er-core/src/Cardano/Ledger/Compactible.hs b/...er-core/src/Cardano/Ledger/Compactible.hs → ...er-core/src/Cardano/Ledger/Compactible.hs
diff --git a/...no-ledger-core/src/Cardano/Ledger/Core.hs → ...no-ledger-core/src/Cardano/Ledger/Core.hs b/...no-ledger-core/src/Cardano/Ledger/Core.hs → ...no-ledger-core/src/Cardano/Ledger/Core.hs
diff --git a/...ger-core/src/Cardano/Ledger/Credential.hs → ...ger-core/src/Cardano/Ledger/Credential.hs b/...ger-core/src/Cardano/Ledger/Credential.hs → ...ger-core/src/Cardano/Ledger/Credential.hs
diff --git a/...-ledger-core/src/Cardano/Ledger/Crypto.hs → ...-ledger-core/src/Cardano/Ledger/Crypto.hs b/...-ledger-core/src/Cardano/Ledger/Crypto.hs → ...-ledger-core/src/Cardano/Ledger/Crypto.hs
diff --git a/...ano-ledger-core/src/Cardano/Ledger/Era.hs → ...ano-ledger-core/src/Cardano/Ledger/Era.hs b/...ano-ledger-core/src/Cardano/Ledger/Era.hs → ...ano-ledger-core/src/Cardano/Ledger/Era.hs
diff --git a/...-ledger-core/src/Cardano/Ledger/Hashes.hs → ...-ledger-core/src/Cardano/Ledger/Hashes.hs b/...-ledger-core/src/Cardano/Ledger/Hashes.hs → ...-ledger-core/src/Cardano/Ledger/Hashes.hs
diff --git a/...no-ledger-core/src/Cardano/Ledger/Keys.hs → ...no-ledger-core/src/Cardano/Ledger/Keys.hs b/...no-ledger-core/src/Cardano/Ledger/Keys.hs → ...no-ledger-core/src/Cardano/Ledger/Keys.hs
diff --git a/...rc/Cardano/Ledger/Rules/ValidationMode.hs → ...rc/Cardano/Ledger/Rules/ValidationMode.hs b/...rc/Cardano/Ledger/Rules/ValidationMode.hs → ...rc/Cardano/Ledger/Rules/ValidationMode.hs
diff --git a/...edger-core/src/Cardano/Ledger/SafeHash.hs → ...edger-core/src/Cardano/Ledger/SafeHash.hs b/...edger-core/src/Cardano/Ledger/SafeHash.hs → ...edger-core/src/Cardano/Ledger/SafeHash.hs
diff --git a/...-core/src/Cardano/Ledger/Serialization.hs → ...-core/src/Cardano/Ledger/Serialization.hs b/...-core/src/Cardano/Ledger/Serialization.hs → ...-core/src/Cardano/Ledger/Serialization.hs
diff --git a/...no-ledger-core/src/Cardano/Ledger/Slot.hs → ...no-ledger-core/src/Cardano/Ledger/Slot.hs b/...no-ledger-core/src/Cardano/Ledger/Slot.hs → ...no-ledger-core/src/Cardano/Ledger/Slot.hs
diff --git a/...ano-ledger-core/src/Cardano/Ledger/Val.hs → ...ano-ledger-core/src/Cardano/Ledger/Val.hs b/...ano-ledger-core/src/Cardano/Ledger/Val.hs → ...ano-ledger-core/src/Cardano/Ledger/Val.hs
diff --git a/...s/cardano-ledger-example-shelley/Setup.hs → libs/cardano-ledger-example-shelley/Setup.hs b/...s/cardano-ledger-example-shelley/Setup.hs → libs/cardano-ledger-example-shelley/Setup.hs
diff --git a/...lley/cardano-ledger-example-shelley.cabal → ...lley/cardano-ledger-example-shelley.cabal b/...lley/cardano-ledger-example-shelley.cabal → ...lley/cardano-ledger-example-shelley.cabal
diff --git a/...ple-shelley/src/Cardano/Ledger/Example.hs → ...ple-shelley/src/Cardano/Ledger/Example.hs b/...ple-shelley/src/Cardano/Ledger/Example.hs → ...ple-shelley/src/Cardano/Ledger/Example.hs
diff --git a/...src/Cardano/Ledger/Example/Translation.hs → ...src/Cardano/Ledger/Example/Translation.hs b/...src/Cardano/Ledger/Example/Translation.hs → ...src/Cardano/Ledger/Example/Translation.hs
diff --git a/...elley/test/Test/Cardano/Ledger/Example.hs → ...elley/test/Test/Cardano/Ledger/Example.hs b/...elley/test/Test/Cardano/Ledger/Example.hs → ...elley/test/Test/Cardano/Ledger/Example.hs
diff --git a/...dano-ledger-example-shelley/test/Tests.hs → ...dano-ledger-example-shelley/test/Tests.hs b/...dano-ledger-example-shelley/test/Tests.hs → ...dano-ledger-example-shelley/test/Tests.hs
diff --git a/libraries/cardano-ledger-test/CHANGELOG.md → libs/cardano-ledger-test/CHANGELOG.md b/libraries/cardano-ledger-test/CHANGELOG.md → libs/cardano-ledger-test/CHANGELOG.md
diff --git a/libraries/cardano-ledger-test/Setup.hs → libs/cardano-ledger-test/Setup.hs b/libraries/cardano-ledger-test/Setup.hs → libs/cardano-ledger-test/Setup.hs
diff --git a/...est/bench/Bench/Cardano/Ledger/ApplyTx.hs → ...est/bench/Bench/Cardano/Ledger/ApplyTx.hs b/...est/bench/Bench/Cardano/Ledger/ApplyTx.hs → ...est/bench/Bench/Cardano/Ledger/ApplyTx.hs
diff --git a/...nch/Bench/Cardano/Ledger/EpochBoundary.hs → ...nch/Bench/Cardano/Ledger/EpochBoundary.hs b/...nch/Bench/Cardano/Ledger/EpochBoundary.hs → ...nch/Bench/Cardano/Ledger/EpochBoundary.hs
diff --git a/...ardano/Ledger/Serialisation/Generators.hs → ...ardano/Ledger/Serialisation/Generators.hs b/...ardano/Ledger/Serialisation/Generators.hs → ...ardano/Ledger/Serialisation/Generators.hs
diff --git a/libraries/cardano-ledger-test/bench/Main.hs → libs/cardano-ledger-test/bench/Main.hs b/libraries/cardano-ledger-test/bench/Main.hs → libs/cardano-ledger-test/bench/Main.hs
diff --git a/...r-test/bench/resources/0_ledgerstate.cbor → ...r-test/bench/resources/0_ledgerstate.cbor b/...r-test/bench/resources/0_ledgerstate.cbor → ...r-test/bench/resources/0_ledgerstate.cbor
diff --git a/...ano-ledger-test/bench/resources/0_tx.cbor → ...ano-ledger-test/bench/resources/0_tx.cbor b/...ano-ledger-test/bench/resources/0_tx.cbor → ...ano-ledger-test/bench/resources/0_tx.cbor
diff --git a/...r-test/bench/resources/1_ledgerstate.cbor → ...r-test/bench/resources/1_ledgerstate.cbor b/...r-test/bench/resources/1_ledgerstate.cbor → ...r-test/bench/resources/1_ledgerstate.cbor
diff --git a/...ano-ledger-test/bench/resources/1_tx.cbor → ...ano-ledger-test/bench/resources/1_tx.cbor b/...ano-ledger-test/bench/resources/1_tx.cbor → ...ano-ledger-test/bench/resources/1_tx.cbor
diff --git a/...edger-test/bench/resources/DESCRIPTION.md → ...edger-test/bench/resources/DESCRIPTION.md b/...edger-test/bench/resources/DESCRIPTION.md → ...edger-test/bench/resources/DESCRIPTION.md
diff --git a/...cardano-ledger-test/benchProperty/Main.hs → ...cardano-ledger-test/benchProperty/Main.hs b/...cardano-ledger-test/benchProperty/Main.hs → ...cardano-ledger-test/benchProperty/Main.hs
diff --git a/...ano-ledger-test/cardano-ledger-test.cabal → ...ano-ledger-test/cardano-ledger-test.cabal b/...ano-ledger-test/cardano-ledger-test.cabal → ...ano-ledger-test/cardano-ledger-test.cabal
diff --git a/...t/src/Test/Cardano/Ledger/Alonzo/Tools.hs → ...t/src/Test/Cardano/Ledger/Alonzo/Tools.hs b/...t/src/Test/Cardano/Ledger/Alonzo/Tools.hs → ...t/src/Test/Cardano/Ledger/Alonzo/Tools.hs
diff --git a/...test/src/Test/Cardano/Ledger/BaseTypes.hs → ...test/src/Test/Cardano/Ledger/BaseTypes.hs b/...test/src/Test/Cardano/Ledger/BaseTypes.hs → ...test/src/Test/Cardano/Ledger/BaseTypes.hs
diff --git a/...ano/Ledger/Examples/TwoPhaseValidation.hs → ...ano/Ledger/Examples/TwoPhaseValidation.hs b/...ano/Ledger/Examples/TwoPhaseValidation.hs → ...ano/Ledger/Examples/TwoPhaseValidation.hs
diff --git a/...rc/Test/Cardano/Ledger/Generic/Indexed.hs → ...rc/Test/Cardano/Ledger/Generic/Indexed.hs b/...rc/Test/Cardano/Ledger/Generic/Indexed.hs → ...rc/Test/Cardano/Ledger/Generic/Indexed.hs
diff --git a/.../src/Test/Cardano/Ledger/Generic/Proof.hs → .../src/Test/Cardano/Ledger/Generic/Proof.hs b/.../src/Test/Cardano/Ledger/Generic/Proof.hs → .../src/Test/Cardano/Ledger/Generic/Proof.hs
diff --git a/...c/Test/Cardano/Ledger/Generic/Updaters.hs → ...c/Test/Cardano/Ledger/Generic/Updaters.hs b/...c/Test/Cardano/Ledger/Generic/Updaters.hs → ...c/Test/Cardano/Ledger/Generic/Updaters.hs
diff --git a/...est/src/Test/Cardano/Ledger/Properties.hs → ...est/src/Test/Cardano/Ledger/Properties.hs b/...est/src/Test/Cardano/Ledger/Properties.hs → ...est/src/Test/Cardano/Ledger/Properties.hs
diff --git a/...st/src/Test/Cardano/Ledger/TestableEra.hs → ...st/src/Test/Cardano/Ledger/TestableEra.hs b/...st/src/Test/Cardano/Ledger/TestableEra.hs → ...st/src/Test/Cardano/Ledger/TestableEra.hs
diff --git a/libraries/cardano-ledger-test/test/Tests.hs → libs/cardano-ledger-test/test/Tests.hs b/libraries/cardano-ledger-test/test/Tests.hs → libs/cardano-ledger-test/test/Tests.hs
diff --git a/...ries/cardano-protocol-tpraos/CHANGELOG.md → libs/cardano-protocol-tpraos/CHANGELOG.md b/...ries/cardano-protocol-tpraos/CHANGELOG.md → libs/cardano-protocol-tpraos/CHANGELOG.md
diff --git a/libraries/cardano-protocol-tpraos/LICENSE → libs/cardano-protocol-tpraos/LICENSE b/libraries/cardano-protocol-tpraos/LICENSE → libs/cardano-protocol-tpraos/LICENSE
diff --git a/libraries/cardano-protocol-tpraos/Setup.hs → libs/cardano-protocol-tpraos/Setup.hs b/libraries/cardano-protocol-tpraos/Setup.hs → libs/cardano-protocol-tpraos/Setup.hs
diff --git a/...ocol-tpraos/cardano-protocol-tpraos.cabal → ...ocol-tpraos/cardano-protocol-tpraos.cabal b/...ocol-tpraos/cardano-protocol-tpraos.cabal → ...ocol-tpraos/cardano-protocol-tpraos.cabal
diff --git a/...col-tpraos/src/Cardano/Protocol/TPraos.hs → ...col-tpraos/src/Cardano/Protocol/TPraos.hs b/...col-tpraos/src/Cardano/Protocol/TPraos.hs → ...col-tpraos/src/Cardano/Protocol/TPraos.hs
diff --git a/...os/src/Cardano/Protocol/TPraos/BHeader.hs → ...os/src/Cardano/Protocol/TPraos/BHeader.hs b/...os/src/Cardano/Protocol/TPraos/BHeader.hs → ...os/src/Cardano/Protocol/TPraos/BHeader.hs
diff --git a/...raos/src/Cardano/Protocol/TPraos/OCert.hs → ...raos/src/Cardano/Protocol/TPraos/OCert.hs b/...raos/src/Cardano/Protocol/TPraos/OCert.hs → ...raos/src/Cardano/Protocol/TPraos/OCert.hs
diff --git a/...rc/Cardano/Protocol/TPraos/Rules/OCert.hs → ...rc/Cardano/Protocol/TPraos/Rules/OCert.hs b/...rc/Cardano/Protocol/TPraos/Rules/OCert.hs → ...rc/Cardano/Protocol/TPraos/Rules/OCert.hs
diff --git a/.../Cardano/Protocol/TPraos/Rules/Overlay.hs → .../Cardano/Protocol/TPraos/Rules/Overlay.hs b/.../Cardano/Protocol/TPraos/Rules/Overlay.hs → .../Cardano/Protocol/TPraos/Rules/Overlay.hs
diff --git a/...rc/Cardano/Protocol/TPraos/Rules/Prtcl.hs → ...rc/Cardano/Protocol/TPraos/Rules/Prtcl.hs b/...rc/Cardano/Protocol/TPraos/Rules/Prtcl.hs → ...rc/Cardano/Protocol/TPraos/Rules/Prtcl.hs
diff --git a/...src/Cardano/Protocol/TPraos/Rules/Updn.hs → ...src/Cardano/Protocol/TPraos/Rules/Updn.hs b/...src/Cardano/Protocol/TPraos/Rules/Updn.hs → ...src/Cardano/Protocol/TPraos/Rules/Updn.hs
diff --git a/libraries/plutus-preprocessor/CHANGELOG.md → libs/plutus-preprocessor/CHANGELOG.md b/libraries/plutus-preprocessor/CHANGELOG.md → libs/plutus-preprocessor/CHANGELOG.md
diff --git a/...us-preprocessor/plutus-preprocessor.cabal → ...us-preprocessor/plutus-preprocessor.cabal b/...us-preprocessor/plutus-preprocessor.cabal → ...us-preprocessor/plutus-preprocessor.cabal
diff --git a/libraries/plutus-preprocessor/src/Debug.hs → libs/plutus-preprocessor/src/Debug.hs b/libraries/plutus-preprocessor/src/Debug.hs → libs/plutus-preprocessor/src/Debug.hs
diff --git a/libraries/plutus-preprocessor/src/Main.hs → libs/plutus-preprocessor/src/Main.hs b/libraries/plutus-preprocessor/src/Main.hs → libs/plutus-preprocessor/src/Main.hs
diff --git a/.../plutus-preprocessor/src/PlutusScripts.hs → .../plutus-preprocessor/src/PlutusScripts.hs b/.../plutus-preprocessor/src/PlutusScripts.hs → .../plutus-preprocessor/src/PlutusScripts.hs
diff --git a/...es/shelley-spec-non-integral/ChangeLog.md → libs/shelley-spec-non-integral/ChangeLog.md b/...es/shelley-spec-non-integral/ChangeLog.md → libs/shelley-spec-non-integral/ChangeLog.md
diff --git a/...aries/shelley-spec-non-integral/README.md → libs/shelley-spec-non-integral/README.md b/...aries/shelley-spec-non-integral/README.md → libs/shelley-spec-non-integral/README.md
diff --git a/libraries/shelley-spec-non-integral/Setup.hs → libs/shelley-spec-non-integral/Setup.hs b/libraries/shelley-spec-non-integral/Setup.hs → libs/shelley-spec-non-integral/Setup.hs
diff --git a/...ies/shelley-spec-non-integral/app/Main.hs → libs/shelley-spec-non-integral/app/Main.hs b/...ies/shelley-spec-non-integral/app/Main.hs → libs/shelley-spec-non-integral/app/Main.hs
diff --git a/...lley-spec-non-integral/reference/Makefile → ...lley-spec-non-integral/reference/Makefile b/...lley-spec-non-integral/reference/Makefile → ...lley-spec-non-integral/reference/Makefile
diff --git a/...c-non-integral/reference/golden_tests.txt → ...c-non-integral/reference/golden_tests.txt b/...c-non-integral/reference/golden_tests.txt → ...c-non-integral/reference/golden_tests.txt
diff --git a/...ntegral/reference/golden_tests_result.txt → ...ntegral/reference/golden_tests_result.txt b/...ntegral/reference/golden_tests_result.txt → ...ntegral/reference/golden_tests_result.txt
diff --git a/...pec-non-integral/reference/non_integral.c → ...pec-non-integral/reference/non_integral.c b/...pec-non-integral/reference/non_integral.c → ...pec-non-integral/reference/non_integral.c
diff --git a/...pec-non-integral/reference/non_integral.h → ...pec-non-integral/reference/non_integral.h b/...pec-non-integral/reference/non_integral.h → ...pec-non-integral/reference/non_integral.h
diff --git a/...c-non-integral/reference/non_integral.hpp → ...c-non-integral/reference/non_integral.hpp b/...c-non-integral/reference/non_integral.hpp → ...c-non-integral/reference/non_integral.hpp
diff --git a/...-integral/reference/non_integral_test.cpp → ...-integral/reference/non_integral_test.cpp b/...-integral/reference/non_integral_test.cpp → ...-integral/reference/non_integral_test.cpp
diff --git a/...spec-non-integral/reference/randomize.cpp → ...spec-non-integral/reference/randomize.cpp b/...spec-non-integral/reference/randomize.cpp → ...spec-non-integral/reference/randomize.cpp
diff --git a/...-integral/shelley-spec-non-integral.cabal → ...-integral/shelley-spec-non-integral.cabal b/...-integral/shelley-spec-non-integral.cabal → ...-integral/shelley-spec-non-integral.cabal
diff --git a/...-integral/src/Shelley/Spec/NonIntegral.hs → ...-integral/src/Shelley/Spec/NonIntegral.hs b/...-integral/src/Shelley/Spec/NonIntegral.hs → ...-integral/src/Shelley/Spec/NonIntegral.hs
diff --git a/...s/shelley-spec-non-integral/test/Tests.hs → libs/shelley-spec-non-integral/test/Tests.hs b/...s/shelley-spec-non-integral/test/Tests.hs → libs/shelley-spec-non-integral/test/Tests.hs
diff --git a/...al/test/Tests/Shelley/Spec/NonIntegral.hs → ...al/test/Tests/Shelley/Spec/NonIntegral.hs b/...al/test/Tests/Shelley/Spec/NonIntegral.hs → ...al/test/Tests/Shelley/Spec/NonIntegral.hs
diff --git a/libraries/small-steps-test/.ghcid → libs/small-steps-test/.ghcid b/libraries/small-steps-test/.ghcid → libs/small-steps-test/.ghcid
diff --git a/libraries/small-steps-test/Setup.hs → libs/small-steps-test/Setup.hs b/libraries/small-steps-test/Setup.hs → libs/small-steps-test/Setup.hs
diff --git a/...s/small-steps-test/small-steps-test.cabal → libs/small-steps-test/small-steps-test.cabal b/...s/small-steps-test/small-steps-test.cabal → libs/small-steps-test/small-steps-test.cabal
diff --git a/...src/Control/State/Transition/Generator.hs → ...src/Control/State/Transition/Generator.hs b/...src/Control/State/Transition/Generator.hs → ...src/Control/State/Transition/Generator.hs
diff --git a/...Control/State/Transition/Invalid/Trace.hs → ...Control/State/Transition/Invalid/Trace.hs b/...Control/State/Transition/Invalid/Trace.hs → ...Control/State/Transition/Invalid/Trace.hs
diff --git a/...est/src/Control/State/Transition/Trace.hs → ...est/src/Control/State/Transition/Trace.hs b/...est/src/Control/State/Transition/Trace.hs → ...est/src/Control/State/Transition/Trace.hs
diff --git a/.../Transition/Trace/Generator/QuickCheck.hs → .../Transition/Trace/Generator/QuickCheck.hs b/.../Transition/Trace/Generator/QuickCheck.hs → .../Transition/Trace/Generator/QuickCheck.hs
diff --git a/...l-steps-test/src/Hedgehog/Extra/Manual.hs → ...l-steps-test/src/Hedgehog/Extra/Manual.hs b/...l-steps-test/src/Hedgehog/Extra/Manual.hs → ...l-steps-test/src/Hedgehog/Extra/Manual.hs
diff --git a/...State/Transition/Examples/CommitReveal.hs → ...State/Transition/Examples/CommitReveal.hs b/...State/Transition/Examples/CommitReveal.hs → ...State/Transition/Examples/CommitReveal.hs
diff --git a/...ol/State/Transition/Examples/GlobalSum.hs → ...ol/State/Transition/Examples/GlobalSum.hs b/...ol/State/Transition/Examples/GlobalSum.hs → ...ol/State/Transition/Examples/GlobalSum.hs
diff --git a/.../Control/State/Transition/Examples/Sum.hs → .../Control/State/Transition/Examples/Sum.hs b/.../Control/State/Transition/Examples/Sum.hs → .../Control/State/Transition/Examples/Sum.hs
diff --git a/...es/small-steps-test/test/examples/Main.hs → libs/small-steps-test/test/examples/Main.hs b/...es/small-steps-test/test/examples/Main.hs → libs/small-steps-test/test/examples/Main.hs
diff --git a/libraries/small-steps/.ghcid → libs/small-steps/.ghcid b/libraries/small-steps/.ghcid → libs/small-steps/.ghcid
diff --git a/libraries/small-steps/CHANGELOG.md → libs/small-steps/CHANGELOG.md b/libraries/small-steps/CHANGELOG.md → libs/small-steps/CHANGELOG.md
diff --git a/libraries/small-steps/Setup.hs → libs/small-steps/Setup.hs b/libraries/small-steps/Setup.hs → libs/small-steps/Setup.hs
diff --git a/libraries/small-steps/default.nix → libs/small-steps/default.nix b/libraries/small-steps/default.nix → libs/small-steps/default.nix
diff --git a/libraries/small-steps/small-steps.cabal → libs/small-steps/small-steps.cabal b/libraries/small-steps/small-steps.cabal → libs/small-steps/small-steps.cabal
diff --git a/...mall-steps/src/Control/Iterate/Collect.hs → ...mall-steps/src/Control/Iterate/Collect.hs b/...mall-steps/src/Control/Iterate/Collect.hs → ...mall-steps/src/Control/Iterate/Collect.hs
diff --git a/...l-steps/src/Control/Iterate/SetAlgebra.hs → ...l-steps/src/Control/Iterate/SetAlgebra.hs b/...l-steps/src/Control/Iterate/SetAlgebra.hs → ...l-steps/src/Control/Iterate/SetAlgebra.hs
diff --git a/...ies/small-steps/src/Control/Provenance.hs → libs/small-steps/src/Control/Provenance.hs b/...ies/small-steps/src/Control/Provenance.hs → libs/small-steps/src/Control/Provenance.hs
diff --git a/...ies/small-steps/src/Control/SetAlgebra.hs → libs/small-steps/src/Control/SetAlgebra.hs b/...ies/small-steps/src/Control/SetAlgebra.hs → libs/small-steps/src/Control/SetAlgebra.hs
diff --git a/...all-steps/src/Control/State/Transition.hs → ...all-steps/src/Control/State/Transition.hs b/...all-steps/src/Control/State/Transition.hs → ...all-steps/src/Control/State/Transition.hs
diff --git a/.../src/Control/State/Transition/Extended.hs → .../src/Control/State/Transition/Extended.hs b/.../src/Control/State/Transition/Extended.hs → .../src/Control/State/Transition/Extended.hs
diff --git a/...ps/src/Control/State/Transition/Simple.hs → ...ps/src/Control/State/Transition/Simple.hs b/...ps/src/Control/State/Transition/Simple.hs → ...ps/src/Control/State/Transition/Simple.hs
diff --git a/...ries/small-steps/src/Data/AbstractSize.hs → libs/small-steps/src/Data/AbstractSize.hs b/...ries/small-steps/src/Data/AbstractSize.hs → libs/small-steps/src/Data/AbstractSize.hs
diff --git a/...ies/small-steps/src/Data/CanonicalMaps.hs → libs/small-steps/src/Data/CanonicalMaps.hs b/...ies/small-steps/src/Data/CanonicalMaps.hs → libs/small-steps/src/Data/CanonicalMaps.hs
diff --git a/libraries/small-steps/src/Data/Coders.hs → libs/small-steps/src/Data/Coders.hs b/libraries/small-steps/src/Data/Coders.hs → libs/small-steps/src/Data/Coders.hs
diff --git a/libraries/small-steps/src/Data/MemoBytes.hs → libs/small-steps/src/Data/MemoBytes.hs b/libraries/small-steps/src/Data/MemoBytes.hs → libs/small-steps/src/Data/MemoBytes.hs
diff --git a/libraries/small-steps/src/Data/Pulse.hs → libs/small-steps/src/Data/Pulse.hs b/libraries/small-steps/src/Data/Pulse.hs → libs/small-steps/src/Data/Pulse.hs
diff --git a/libraries/small-steps/src/Data/Relation.hs → libs/small-steps/src/Data/Relation.hs b/libraries/small-steps/src/Data/Relation.hs → libs/small-steps/src/Data/Relation.hs