csw-core 0.1.0

Core categorical structures for the Categorical Semantics Workbench - define categories and derive type systems
Documentation
1
2
3
4
5
6
//! Specification validation and coherence checking.
//!
//! This module will contain detailed validation logic
//! for categorical specifications, including coherence conditions.

// Detailed validation implementation will be added in Phase 1 issue #8