Catlab.jl support

[kungfooman]

Hi, I made this little test notebook for learning Category Theory:

### A Pluto.jl notebook ###
# v0.9.10

using Markdown

# ╔═╡ 8c7b3710-b622-11ea-2d7d-ed251ed36661
using Catlab, Catlab.Doctrines

# ╔═╡ c140e3a0-b622-11ea-1cc0-dbafabe9489d
@syntax CategoryExprs(ObExpr, HomExpr) Category begin
end

# ╔═╡ cc9a9ed0-b622-11ea-17a4-9befdac3c320
A, B, C, D = [ Ob(CategoryExprs.Ob, X) for X in [:A, :B, :C, :D] ]

# ╔═╡ d7c11500-b622-11ea-3f9a-db7ea679648c
f, g, h = Hom(:f, A, B), Hom(:g, B, C), Hom(:h, C, D)

# ╔═╡ dca36320-b622-11ea-00ce-91b77477e3cb
compose(compose(f, g), h)

# ╔═╡ Cell order:
# ╠═8c7b3710-b622-11ea-2d7d-ed251ed36661
# ╠═c140e3a0-b622-11ea-1cc0-dbafabe9489d
# ╠═cc9a9ed0-b622-11ea-17a4-9befdac3c320
# ╠═d7c11500-b622-11ea-3f9a-db7ea679648c
# ╠═dca36320-b622-11ea-00ce-91b77477e3cb

Catlab.jl seems to only support Jupyter notebooks:

This is the Pluto.jl output:

Is there any way to make Catlab.jl render LaTeX in Pluto.jl?

[fonsp]

185

[kungfooman]

Thank you a lot, closing this issue