Version:
2.0
Copyright:
License:
lppl
Packaged on:
7/29/2016 5:50:04 PM
Number of files:
9
Size on disk:
445.9 kB

Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.