项目作者: gallais

项目描述 :
IO using sized types and copatterns
高级语言: Agda
项目地址: git://github.com/gallais/agda-sizedIO.git
创建时间: 2017-08-04T07:23:05Z
项目社区:https://github.com/gallais/agda-sizedIO

开源协议:GNU General Public License v3.0

下载