bodil/purescript-typelevel
Voir sur GitHubType level natural numbers and booleans
- Étoiles
- 34
- Forks
- 10
- Issues débutants ouvertes
- 0
- Issues indexées
- 1
- Langage dominant
- PureScript
- Licence
- Aucune donnée de licence
- Dernier push GitHub
- 5/9/2019
- Dernière indexation
- 14/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
- Métriques de merge des PR
- Aucune PR mergée en 30 j
-
Usage of reifyInt Ouverte
bodil/purescript-typelevel#2 · 2 commentaires · 0 réactions · 0 personnes assignées ·