AlgebraicJulia / AlgebraicJulia/Catlab.jl

Emit imports in @signature, @instance, @syntax macros

Offen
#90 1 Kommentar 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen
GATs
Vorherrschende Sprache
Julia
Sterne
724
Forks
73
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

These macros create modules that require that you imported the functions like `
import Catlab.Doctrines: otimes, ⊗, id, braid, dom, codom, compose, mmerge, create, delete, mcopy` in order to create new doctrines. This is inconvenient, can the macro emit the imports for us?

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.