askvity
Category: Differential Types
What is a 1.5-way Differential?