AlgebraicJulia / AlgebraicJulia/GATlab.jl
`typecons()` and `termcons()` output type
Aberta
- Linguagem predominante
- Julia
- Estrelas
- 43
- Forks
- 4
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
We should consider that `typecons()` and `termcons()` applied to a theory should return the bindings, rather than just the `Ident`s.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.