Proposal: indexed monad for partial application of an ArithmeticCircuit
#217
Labels
enhancement
New feature or request
ArithmeticCircuit
#217
For later consideration: an API for partial application of arithmetic circuits via indexed monads as constructed in #177.
We do not need this capability now, but who knows how this would turn out.
The text was updated successfully, but these errors were encountered: