askvity

Category: Differential Types

What is a 1.5-way Differential?