多码网
首页
合集
分类
返回 后端
后端
library
Idris
order-taking
Idris version of Domain Modeling Made Functional Book.
144 stars
11 forks
NOASSERTION
更新于 2026/4/25
GitHub 仓库
ddd
depedent-types
fp
idris
暂无详细内容
同类推荐