AlgebraicJulia / AlgebraicJulia/GATlab.jl
Variadic operations in GATs
Ouverte
- Langage dominant
- Julia
- Étoiles
- 43
- Forks
- 4
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
We should be able to represent associative, unital binary operators with operators that take a variable number of arguments. There should be seamless conversion between this and binary presentations, and also support in models for:
- implementing n-ary versions of the operation directly
- using the binary case to implement the n-ary case via a fold.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.