aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/aedifex/repository.lux (renamed from stdlib/source/spec/aedifex/repository.lux)0
-rw-r--r--stdlib/source/specification/compositor.lux (renamed from stdlib/source/spec/compositor.lux)0
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux (renamed from stdlib/source/spec/compositor/analysis/type.lux)0
-rw-r--r--stdlib/source/specification/compositor/common.lux (renamed from stdlib/source/spec/compositor/common.lux)0
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux (renamed from stdlib/source/spec/compositor/generation/case.lux)0
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux (renamed from stdlib/source/spec/compositor/generation/common.lux)0
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux (renamed from stdlib/source/spec/compositor/generation/function.lux)0
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux (renamed from stdlib/source/spec/compositor/generation/primitive.lux)0
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux (renamed from stdlib/source/spec/compositor/generation/reference.lux)0
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux (renamed from stdlib/source/spec/compositor/generation/structure.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux (renamed from stdlib/source/spec/lux/abstract/apply.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux (renamed from stdlib/source/spec/lux/abstract/codec.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux (renamed from stdlib/source/spec/lux/abstract/comonad.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/enum.lux (renamed from stdlib/source/spec/lux/abstract/enum.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux (renamed from stdlib/source/spec/lux/abstract/equivalence.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/fold.lux (renamed from stdlib/source/spec/lux/abstract/fold.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux (renamed from stdlib/source/spec/lux/abstract/functor.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux (renamed from stdlib/source/spec/lux/abstract/functor/contravariant.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux (renamed from stdlib/source/spec/lux/abstract/hash.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/interval.lux (renamed from stdlib/source/spec/lux/abstract/interval.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux (renamed from stdlib/source/spec/lux/abstract/monad.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/monoid.lux (renamed from stdlib/source/spec/lux/abstract/monoid.lux)0
-rw-r--r--stdlib/source/specification/lux/abstract/order.lux (renamed from stdlib/source/spec/lux/abstract/order.lux)0
-rw-r--r--stdlib/source/specification/lux/world/console.lux (renamed from stdlib/source/spec/lux/world/console.lux)0
-rw-r--r--stdlib/source/specification/lux/world/file.lux (renamed from stdlib/source/spec/lux/world/file.lux)0
-rw-r--r--stdlib/source/specification/lux/world/program.lux (renamed from stdlib/source/spec/lux/world/program.lux)0
-rw-r--r--stdlib/source/specification/lux/world/shell.lux (renamed from stdlib/source/spec/lux/world/shell.lux)0
27 files changed, 0 insertions, 0 deletions
diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index de9a05fde..de9a05fde 100644
--- a/stdlib/source/spec/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
diff --git a/stdlib/source/spec/compositor.lux b/stdlib/source/specification/compositor.lux
index 08a294282..08a294282 100644
--- a/stdlib/source/spec/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
diff --git a/stdlib/source/spec/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 7cbd5884b..7cbd5884b 100644
--- a/stdlib/source/spec/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
diff --git a/stdlib/source/spec/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index ed3b53f30..ed3b53f30 100644
--- a/stdlib/source/spec/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 2424aa330..2424aa330 100644
--- a/stdlib/source/spec/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 3d377b7ca..3d377b7ca 100644
--- a/stdlib/source/spec/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
diff --git a/stdlib/source/spec/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 6d0f8d541..6d0f8d541 100644
--- a/stdlib/source/spec/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
diff --git a/stdlib/source/spec/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 3b6dd657b..3b6dd657b 100644
--- a/stdlib/source/spec/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
diff --git a/stdlib/source/spec/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index 665175ab4..665175ab4 100644
--- a/stdlib/source/spec/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 7c45d2a9b..7c45d2a9b 100644
--- a/stdlib/source/spec/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
diff --git a/stdlib/source/spec/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 691e8c01c..691e8c01c 100644
--- a/stdlib/source/spec/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
diff --git a/stdlib/source/spec/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index f58f6ce91..f58f6ce91 100644
--- a/stdlib/source/spec/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
diff --git a/stdlib/source/spec/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 85d00b8f2..85d00b8f2 100644
--- a/stdlib/source/spec/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index ddb2a80f1..ddb2a80f1 100644
--- a/stdlib/source/spec/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index 4d6d0900a..4d6d0900a 100644
--- a/stdlib/source/spec/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
diff --git a/stdlib/source/spec/lux/abstract/fold.lux b/stdlib/source/specification/lux/abstract/fold.lux
index 2b4a7617f..2b4a7617f 100644
--- a/stdlib/source/spec/lux/abstract/fold.lux
+++ b/stdlib/source/specification/lux/abstract/fold.lux
diff --git a/stdlib/source/spec/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index cfa6cc2ff..cfa6cc2ff 100644
--- a/stdlib/source/spec/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
diff --git a/stdlib/source/spec/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index cba839e94..cba839e94 100644
--- a/stdlib/source/spec/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
diff --git a/stdlib/source/spec/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index 4722a48a0..4722a48a0 100644
--- a/stdlib/source/spec/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
diff --git a/stdlib/source/spec/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index 5b74bc34d..5b74bc34d 100644
--- a/stdlib/source/spec/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
diff --git a/stdlib/source/spec/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 869eb24c7..869eb24c7 100644
--- a/stdlib/source/spec/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
diff --git a/stdlib/source/spec/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index f8626fe74..f8626fe74 100644
--- a/stdlib/source/spec/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
diff --git a/stdlib/source/spec/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 61fc22611..61fc22611 100644
--- a/stdlib/source/spec/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
diff --git a/stdlib/source/spec/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index f454b61c9..f454b61c9 100644
--- a/stdlib/source/spec/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
diff --git a/stdlib/source/spec/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 7bdefb173..7bdefb173 100644
--- a/stdlib/source/spec/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
diff --git a/stdlib/source/spec/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index e79429627..e79429627 100644
--- a/stdlib/source/spec/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
diff --git a/stdlib/source/spec/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index c4fc51b99..c4fc51b99 100644
--- a/stdlib/source/spec/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux