Issues do repositório

ollef/sixty

Dependent type checker using normalisation by evaluation

Ver no GitHub
Stars
 (275 stars)
Forks
 (8 forks)
Issues indexadas
 (0 indexado issues)
issues iniciantes abertas
 (0 issues iniciantes abertas)
Última indexação
11 de jul. de 2026
Último push no GitHub
5 de set. de 2024
Licença
Other
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
Haskell
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 aberto indexado issues

RSSAtom

Nenhum issues indexado aberto encontrado para este repositório.