通讯技术 homotopy 返回
项目作者： groupoid

项目描述 ：
♾ HTS: Homotopy Type System for Erlang
高级语言： Erlang
项目地址: git://github.com/groupoid/homotopy.git
创建时间： 2015-11-20T05:58:19Z
项目社区：https://github.com/groupoid/homotopy
开源协议：
下载