alexmojaki / alexmojaki/dependent_types
[Discussion] Implementation of the Arrow type
Aperta
- Lingua principale
- Python
- Stelle
- 1
- Fork
- 0
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
We need an arrow type. Functions decorated with autofunc should then be instances of the appropriate arrow type built up from the type hints.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.