文件名称：pion：一种基于线性类型的并发编程语言
文件大小：38KB
文件格式：ZIP
更新时间：2024-02-21 07:40:54
programming-language compiler concurrent-programming session-types statically-typed
pion：一种基于线性类型的并发编程语言
【文件预览】：
pion-master
----.gitignore(26B)
----stack.yaml(446B)
----README.md(7B)
----Setup.hs(46B)
----test()
--------passing()
--------src()
----ChangeLog.md(35B)
----LICENSE(1KB)
----app()
--------Main.hs(473B)
----pion.cabal(5KB)
----src()
--------Language()
--------Prelude.hs(621B)
----stack.yaml.lock(4KB)
----package.yaml(2KB)