AlgebraicJulia / AlgebraicJulia/Catlab.jl
Emit imports in @signature, @instance, @syntax macros
Aberta
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
Avaliação
Esta issue ainda não foi avaliada.