TV - a trace verifier-开源

【文件属性】：
文件名称：TV - a trace verifier-开源
文件大小：29KB
文件格式：GZ
更新时间：2021-08-03 17:27:41
开源软件 TV 是一种有助于自动测试React式并发系统的工具。

【文件预览】：
Main.lhs
Desugar.lhs
haskell.sty
Simplify.lhs
Eval.lhs
tv.tex
Datatypes.lhs
Parse.lhs
PPrint.hs
Typecheck.lhs
README
Display.lhs
index.html
Main.lhs.patch.WIN32
guide.tex
Makefile
intro.tex
Verify.lhs