AlgebraicJulia / AlgebraicJulia/Catlab.jl
Support unicode aliases in `@present`
Aperta
bug
- Lingua principale
- Julia
- Stelle
- 724
- Fork
- 73
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
We should probably support the unicode aliases in the declaration of a presentation.
```julia
@present Systems(FreeSymmetricMonoidalCategory) begin
A::Ob
f::(A\to A)
end
```
If we combine this with a general approach to allowing GATs with metatypes like `Element` or `Variable` we could really make the Catlab user code look like regular math!
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.