AlgebraicJulia / AlgebraicJulia/GATlab.jl
`typecons()` and `termcons()` output type
Abierto
- Lenguaje dominante
- Julia
- Estrellas
- 43
- Forks
- 4
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
We should consider that `typecons()` and `termcons()` applied to a theory should return the bindings, rather than just the `Ident`s.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.