AlgebraicJulia / AlgebraicJulia/Catlab.jl

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

Aberta
#90 1 comentário 1 reação 0 responsáveis Ver no GitHub
GATs
Linguagem predominante
Julia
Estrelas
724
Forks
73
Métricas de merge de PRs
Nenhum PR com merge em 30d

Descrição

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?

Guia de contribuição

Abrir o guia de contribuição

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.