跳到主要内容
赞助推荐 Claude Team 合租,少折腾账号
>80aj_
赞助推荐 开放可编程的智能路由
赞助推荐 开放可编程的智能路由

标签索引

haskell

这个标签下有 3 篇文章。按时间回看相关判断与实践记录。

标签精选

相关内容

前沿哨所

Carnap:Haskell逻辑框架助力AI研究

Carnap是一个免费开源的软件框架,用Haskell语言编写,专门用于教学和研究形式逻辑。它为全球数十所大学的逻辑课程提供技术支持,学生可登录访问课程材料。作为Open Tower项目,该框架鼓励开发者参与和使用,对AI领域的逻辑研究有重...

1 分钟阅读147 阅读