diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux (renamed from stdlib/source/spec/lux/abstract/functor.lux) | 0 |
1 files changed, 0 insertions, 0 deletions
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 |