文件名称：TV - a trace verifier-开源
文件大小：29KB
文件格式：GZ
更新时间：2024-08-23 11:14:21
开源软件
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