AlgebraicJulia / AlgebraicJulia/Catlab.jl
Add ∘ operator support in GATs
Đang mở
GATs
- Ngôn ngữ chính
- Julia
- Star
- 724
- Fork
- 73
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
After removing support for arbitrary Julia code in `@signature`/`@theory`, there is no way to define `∘(f, g) = compose(g, f)` where is it available to use throughout the GAT definition, syntax, and instances.
Hướng dẫn đóng góp
Đánh giá
Issue này chưa được đánh giá.