注册
登录
调度引擎
unification-sop
返回
项目作者:
meditans
项目描述 :
Haskell package that implements typed terms with logical variables in a prolog-style
高级语言:
Haskell
项目主页:
项目地址:
git://github.com/meditans/unification-sop.git
创建时间:
2019-02-03T21:27:08Z
项目社区:
https://github.com/meditans/unification-sop
开源协议:
Other
下载