Christopher Jenkins, Andrew Marmaduke, and Aaron Stump
Category: Inductive Types
Ambrus Kaposi and Zongpu Xie
Filippo Sestini and Thorsten Altenkirch
Christopher Jenkins, Andrew Marmaduke, and Aaron Stump
Ambrus Kaposi and Zongpu Xie
Filippo Sestini and Thorsten Altenkirch