Closed zth closed 1 year ago
Paves the way for switching between uncurried/curried mode, also in the PPX.
Paves the way for switching between uncurried/curried mode, also in the PPX.