Merge branch 'main' of https://github.com/fraware/lean-containers

Author: fraware

LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Matéo H. Petel
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

README.md

@@ -22,28 +22,6 @@
 - [Contributing](#contributing)
 - [License](#license)
 
-## Features
-
-### Core Container Types
-- **Container Signatures**: Type-safe definitions with shape and position types
-- **Polynomial Functors**: Mathematical foundation with proper functor laws
-- **W-types**: Initial algebras for inductive structures
-- **M-types**: Final coalgebras for coinductive structures
-- **Traversable Instances**: Lawful implementations with proper composition
-
-### Advanced Operations
-- **Custom Allocators**: Memory management optimizations
-- **Move Semantics**: Efficient resource transfer
-- **Emplacement Operations**: In-place construction
-- **Memory Pool Management**: Smart pointers and reference counting
-- **Zero-copy Operations**: Performance-optimized data transfer
-
-### Production Features
-- **Thread Safety**: Concurrent containers with proper synchronization
-- **Performance Monitoring**: Built-in metrics and profiling
-- **Error Handling**: Comprehensive validation and bounds checking
-- **Type Safety**: Complete compile-time safety guarantees
-
 ## Installation
 
 ### Prerequisites