AlgebraicJulia / AlgebraicJulia/Catlab.jl
Support unicode aliases in `@present`
未關閉
bug
- 主要語言
- Julia
- 星號
- 724
- 分支
- 73
- PR 合併指標
- 30 天內沒有已合併 PR
描述
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!
貢獻指南
評估
這個 Issue 還沒有評估資料。