Issues do repositório

ndmitchell/firstify

A Haskell library to transform Yhc Core programs to first-order

Ver no GitHub
Stars
 (1 estrela)
Forks
 (0 fork)
Issues indexadas
 (0 issue indexada)
issues iniciantes abertas
 (0 issue iniciante aberta)
Última indexação
18 de ago. de 2026
Último push no GitHub
17 de mar. de 2015
Licença
BSD 3-Clause "New" or "Revised" License
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
TeX
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 issue indexada fechada

Nenhum issues indexado fechado encontrado para este repositório.