Version:
2.0
Copyright:
License:
lppl
Packaged on:
29.07.2016 17:50:04
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.