diff options
Diffstat (limited to '')
-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 |
13 files changed, 0 insertions, 0 deletions
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 |