Monocle-0.0.3: Symbolic computations in strict monoidal categories with LaTeX output.
Monocle.Tex
class Texified a whereSource
Methods
tex :: a -> StringSource
doc :: a -> StringSource
Instances