HerbSpecification.jl This package describes the types of specification to define program synthesis problems within the Herb.jl Program Synthesis framework. For full documentation please see the Herb.jl documentation.