m0ar/safe-streaming
Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
正在读取项目信息…
开源雷达国内 GitHub 镜像站
加速通道已就绪
返回列表
开源雷达国内 GitHub 镜像站
Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.