2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Guillaume Allais
Agda's standard library struggles in various places with n-ary functions and relations. It introduces congruence and substitution operators for functions of arities one and two, an…