diff options
author | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
commit | 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e (patch) | |
tree | fe0af9e70413e9fc4f3848e0642920fca501c626 /stdlib/source/spec | |
parent | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (diff) |
Re-named "spec" hierarchy to "specification".
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 |