AlgebraicJulia / AlgebraicJulia/Catlab.jl

Support unicode aliases in `@present`

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

Descrição

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!

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.