Equational Reasoning with Applicative Functors.

Andreas Lochbihler, Joshua Schneider

Browse the full ITP paper archive.