AlgebraicJulia / AlgebraicJulia/GATlab.jl
Use TypeCheck.jl to sort-check instances
Aberta
- Linguagem predominante
- Julia
- Estrelas
- 43
- Forks
- 4
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
We could use https://github.com/astrieanna/TypeCheck.jl to get static guarantees that instances of theories were at least sort-correct. Could be pretty useful.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.