quickecheck: move the common files to cogent folder

[skip ci][skip lemma] TODO: fix the bilby quickcheck samples
au-ts · Nov 12, 2019 · b35edab · b35edab
1 parent ce3c3d3
commit b35edab
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/impl/fs/bilby/quickcheck/CogentMonad.hs → cogent/quickcheck/CogentMonad.hs b/impl/fs/bilby/quickcheck/CogentMonad.hs → cogent/quickcheck/CogentMonad.hs
diff --git a/impl/fs/bilby/quickcheck/Corres.hs → cogent/quickcheck/Corres.hs b/impl/fs/bilby/quickcheck/Corres.hs → cogent/quickcheck/Corres.hs
diff --git a/impl/fs/bilby/quickcheck/Util.hs → cogent/quickcheck/Util.hs b/impl/fs/bilby/quickcheck/Util.hs → cogent/quickcheck/Util.hs