Metatheory.jl
Metatheory.jl copied to clipboard
Move integration tests to narrative documentation.
It makes a lot more sense to have them as jldoctest
and explained in a doc page.
It makes a lot more sense to have them as jldoctest
and explained in a doc page.