Pretty-printing lattices

After an hour or so of hacking this morning, things are looking quite good.

InforML with lattice pretty-printing

I just pipe my representation of the lattice to »dot« and then send the PostScript output back to TeXmacs.

Anyway, back to debugging.

Leave a Comment