JuliaSymbolics/Metatheory.jl

Move integration tests to narrative documentation.

0x0f0f0f opened this issue · 0 comments

0x0f0f0f commented

It makes a lot more sense to have them as jldoctest and explained in a doc page.