项目作者: jameshaydon

项目描述 :
A well-typed symmetric-monoidal category of concurrent processes
高级语言: Idris
项目地址: git://github.com/jameshaydon/smproc.git
创建时间: 2017-01-30T21:31:55Z
项目社区:https://github.com/jameshaydon/smproc

开源协议:MIT License

下载