Flatten back dependent-sum to repo root

Since as of the last commit, we no longer have two packages in one repo.
obsidiansystems · Jul 11, 2023 · 2cc5a98 · 2cc5a98
1 parent ffbb83e
commit 2cc5a98
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 1 deletion.
diff --git a/dependent-sum/ChangeLog.md → ChangeLog.md b/dependent-sum/ChangeLog.md → ChangeLog.md
diff --git a/dependent-sum/Setup.lhs → Setup.lhs b/dependent-sum/Setup.lhs → Setup.lhs
diff --git a/cabal.project b/cabal.project
diff --git a/dependent-sum/dependent-sum.cabal → dependent-sum.cabal b/dependent-sum/dependent-sum.cabal → dependent-sum.cabal
diff --git a/dependent-sum/examples/FooGADT.hs → examples/FooGADT.hs b/dependent-sum/examples/FooGADT.hs → examples/FooGADT.hs
diff --git a/dependent-sum/src/Data/Dependent/Sum.hs → src/Data/Dependent/Sum.hs b/dependent-sum/src/Data/Dependent/Sum.hs → src/Data/Dependent/Sum.hs