Cordis：时空可组合性元框架

Cordis 是一个正在积极开发的时空可组合性元框架。其 API 尚未稳定，可能会在不另行通知的情况下发生变更。官方文档 cordis-primer 仍在建设中，相关论文已发布在 arXiv。