Issue del repository

ollef/sixty

Dependent type checker using normalisation by evaluation

Star
 (275 star)
Fork
 (8 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
11 lug 2026
Ultimo push GitHub
5 set 2024
Licenza
Other
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Haskell
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate aperte

Nessuna issue indicizzata aperta trovata per questo repository.