基于纯代数关系的组合器库，专为数学与类型系统开发者设计，用于构建可验证的逻辑结构
73 票
🤖 Agent 拆解 · coding
解决什么场景构建可验证的逻辑结构
目标市场数学与类型系统开发者
牵引 · 为什么在涨73
为什么值得关注
访问 Show HN 页面 →
将代数逻辑形式化为可复用的组合器，为类型安全系统提供底层支持
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
将代数逻辑形式化为可复用的组合器，为类型安全系统提供底层支持