alexmojaki / alexmojaki/dependent_types
[Discussion] Implementation of the Arrow type
Ouverte
- Langage dominant
- Python
- Étoiles
- 1
- Forks
- 0
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
We need an arrow type. Functions decorated with autofunc should then be instances of the appropriate arrow type built up from the type hints.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.