项目作者: 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

下载